README « eprover « academic - slackbuilds - slackbuilds.org fork for slackware-current - clone of http://github.com/Ponce/slackbuilds

index : slackbuilds

slackbuilds.org fork for slackware-current - clone of http://github.com/Ponce/slackbuilds

matteo.bernardini _at_ gmail.com

summary refs log tree commit diff stats

path: root/academic/eprover/README

blob: f12340731380c5939dcbb2f5af2ee91c86d9ac6e (plain)

E is an automated theorem prover for first-order and equational logic.