We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A library for Proof Theory (especially Proof Compression) in Scala.
SMT 33 25
Research papers on logic
TeX 9 4
Automated Reasoning for Modal Logics
Coq 5 1
Probabilistic Logic
Coq 3
Slides of talks
TeX 1
Forked from leanprover/lean3
Lean Theorem Prover
C++
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Loading…
