Stream: hs-to-coq devs & users

Topic: coq-of-ocaml


view this post on Zulip Bas Spitters (Jun 18 2020 at 13:39):

An amusing bit of dog-fooding. Coq does not yet understand its own kernel, but steady progress is being made on coq-of-ocaml. (@Guillaume Claret )
https://clarus.github.io/coq-of-ocaml/examples/kernel/


Last updated: Feb 06 2023 at 07:03 UTC