Stream: Coq users

Topic: Coq on macOS 11.0 Big Sur

view this post on Zulip Paolo Giarrusso (Nov 12 2020 at 23:53):

Any experience? I don’t expect problems, but Haskell has taught me to be careful, and even Coq plays non-trivial system level games sometimes.

view this post on Zulip Paolo Giarrusso (Nov 12 2020 at 23:54):

(but I don’t use native_compute, so I probably don’t rely on most of those tricks)

Last updated: Jan 28 2023 at 07:30 UTC