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

Ensemble Prover is an autonomous Python theorem prover that eliminates repetitive manual steps in workflows. Adopt it by integrating it with existing tools, ins