#theorem-proving (8 Repositories)
Ranked open-source repositories tagged with #theorem-proving, scored by pull request acceptance likelihood and maintainer engagement velocity.
38.0%
24.4h
8 repositories tagged #theorem-proving
morluto/jacobian
Composable mathematics tools for agents
leanprover-community/LeanProject
A template for blueprint-driven formalization projects in Lean.
rocq-prover/rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
leanprover-community/physlib
A project to digitalise results from physics into Lean.
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
gapt/gapt
GAPT: General Architecture for Proof Theory
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean