hollalinux
/
slackbuilds
mirror of https://github.com/SlackBuildsOrg/slackbuilds.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
slackbuilds/academic/eprover/README

2 lines
71 B
Plaintext
Raw Blame History

E is an automated theorem prover for first-order and equational logic.
Reference in New Issue View Git Blame Copy Permalink