Rare find

openprover. Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.

github.com/Kripner/openprover

Problem

Audience

Updates

No founder updates yet. Check back soon.