Mirrors
/
slackbuilds-current
mirror of https://github.com/Ponce/slackbuilds.git
5
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
65179 Commits
612 Branches
809 Tags
300 MiB
 
 
 
 
 
 
Tree: e543439370
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'e543439370'
${ noResults }
slackbuilds-current/academic/eprover
Nick Smallbone 5c87535b2c
academic/eprover: Added (a first-order theorem prover). 		7 years ago
..
README academic/eprover: Added (a first-order theorem prover). 7 years ago
eprover.SlackBuild academic/eprover: Added (a first-order theorem prover). 7 years ago
eprover.info academic/eprover: Added (a first-order theorem prover). 7 years ago
slack-desc academic/eprover: Added (a first-order theorem prover). 7 years ago

README 

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