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