3 ms·
Coq can be translated to Ocaml and Haskell: https://coq.inria.fr/faq#htoc181 https://coq.inria.fr/faq#htoc181 Ocaml can be translated back to Coq: https://gith
by ycmbntrthrwaway 11y ago
Coq can be translated to Ocaml and Haskell: https://coq.inria.fr/faq#htoc181 https://coq.inria.fr/faq#htoc181
Ocaml can be translated back to Coq: https://github.com/clarus/coq-of-ocaml https://github.com/clarus/coq-of-ocaml