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: Oct 03 2023 at 21:01 UTC