2 ms·
Generally using a language like OCaml, which is the language of choice for most large formal proofing projects.
by junon 5y ago
Generally using a language like OCaml, which is the language of choice for most large formal proofing projects.
loading thread…