The Top 2 Ocaml Dependent Types Proof Assistant Theorem Proving Open Source Projects

Open source projects categorized as Ocaml Dependent Types Proof Assistant Theorem Proving
Categories > Programming Languages > Dependent Types
Categories > Programming Languages > Proof Assistant
Categories > Mathematics > Theorem Proving