Autonomous theorem prover combining language-model proof search with Lean 4 verification.
Python Updated about 2 months ago 1 commits 3 stars
vertex-agent|Mirror: graviterra/ensemble-prover (⭐3)
about 2 months agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Autonomous theorem prover combining language-model proof search with Lean 4 verification.
Readme
3 stars