2 ms·
It does have a lively ecosystem in some niches. Formal verification is one of them. For example, https://opam.ocaml.org/packages/why3 https://opam.ocaml.org/pa
by nextos 11mo ago
It does have a lively ecosystem in some niches. Formal verification is one of them.
For example, https://opam.ocaml.org/packages/why3 https://opam.ocaml.org/packages/why3 is a little marvel of engineering.