Repositories tagged with "theorem-prover"
Kind
HigherOrderCO
โA modern proof languageโ
yices2
SRI-CSL
โSRI Yices SMT Solverโ
acl2
โACL2 System and Books as Maintained by the Communityโ
tool_lists
johnyf
โLinks to tools by subjectโ
awesome-rust-formalized-reasoning
newca12
โAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.โ
z3-playground
0vercl0k
โA repository to store Z3-python scripts you can use as examples, reminders, whatever.โ
curryhoward
Chymyst
โAutomatic code generation for Scala functions and expressions via the Curry-Howard isomorphismโ
coqhammer
lukaszcz
โCoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theoryโ
toysolver
msakai
โMy sandbox for experimenting with solver algorithms.โ
coqpilot
JetBrains-Research
โVSCode extension that is designed to help automate writing of Coq proofs.โ
cicada-solo
cicada-lang
โCicada Language (solo version)โ
LSTS
Lambda-Mountain-Compiler-Backend
โLarge Scale Type Systems: ML/C Hybrid Programming Languageโ
hezarfen
joom
โa theorem prover for intuitionistic propositional logic in Idris, with metaprogramming featuresโ
LangPro
kovvalsky
โTableau-based Theorem Prover for Natural Logic and Languageโ
CanonicalLean
chasenorman
โA Lean tactic for Canonical, a search procedure for terms in dependent type theory.โ
pyprover
evhub
โResolution theorem proving for predicate logic in pure Python.โ
KeYmaeraX-release
LS-Lab
โKeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)โ
cicada-plct
โCicada Language (PLCT little team)โ
