Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for ocaml theorem proving

ocaml x
theorem-proving x
7 search results found
Coq ⭐ 4,501
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Fstar ⭐ 2,522
A Proof-oriented Programming Language
Dolmen ⭐ 75
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Gamepad ⭐ 58
A Learning Environment for Theorem Proving
Coq Tactician ⭐ 47
A Seamless, Interactive Tactic Learner and Prover for Coq
Archsat ⭐ 24
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Tcoq ⭐ 7
Modification to Coq to record intermediate proof states encountered during a proof
Related Searches
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
C Ocaml (246)
Javascript Ocaml (181)
Reactjs Ocaml (168)
Ocaml Coq (163)
1-7 of 7 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.