aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/eprover.rb
AgeCommit message (Expand)Author
2012-08-05eprover 1.6Brett Koonce
2012-03-10The E Theorem Prover 1.4Libor Wagner
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-17 00:38:03 +0000