mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-07 20:27:02 +01:00
2 lines
71 B
Text
2 lines
71 B
Text
|
E is an automated theorem prover for first-order and equational logic.
|