3 ms·
Most of the verification community relies on OCaml to some extent.
by junon 5y ago
Most of the verification community relies on OCaml to some extent.
- nextaccountic 5y agoFunnily enough, there is no verified OCaml implementation yet. Unlike, for instance, SML (well CakeML is a subset of SML with a verified implementation)