Do as much things in Rocq / Coq / whatever it's called nowadays Extract it into OCaml Profits (maybe).

Kashiwara introduced proven methods from algebra into analysis—the theory underlying calculus that explores functions, limits and other concepts—and, together with his colleagues, founded an ...

Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. You need only to provide a description of your project, and Dune ...