🛠️ Ensemble Prover - Open-Source Python Autonomous Theorem Prover

Summary
Ensemble Prover is an open-source Python autonomous theorem prover. It helps users automatically prove mathematical theorems.

Why it’s interesting
It is an open-source autonomous theorem prover implemented in Python.

Source metrics: Points 2 · Comments 1
HN discussion · Project
Source: #HackerNews / Show HN