Found 1 repositories(showing 1)
Kripner
Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.
All 1 repositories loaded