Show HN: Ensemble Prover - Open-Source Python Autonomous Theorem Prover

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

2 points by stereochemical3 49 days ago github.com 1 comments

Summary not yet generated for this article.

Loading more comments... ⌛

Scroll down to load more comments

No comments available.