graviterra/ensemble-prover

Autonomous theorem prover combining language-model proof search with Lean 4 verification.

2 best points · 1 comments · 1 Hacker News post · 4 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Ensemble Prover - Open-Source Python Autonomous Theorem Prover (2 points, 1 comments, by stereochemical3, 2026-09-03)