tangled
alpha
login
or
join now
anil.recoil.org
/
opam-repository
this repo has no description
0
fork
atom
overview
issues
pulls
pipelines
opam-repository
/
packages
/
eprover
/
at
1fdce8d7dcbeaba036c608da3d0bab066b1c6fb7
3 folders
eprover.2.6
Add new package for the 'E Theorem Prover'
4 years ago
eprover.3.0
Add new version 3.0 for the E-prover automatic theorem prover
2 years ago
eprover.3.1
Update E-Prover (an automated theorem prover) to version 3.1
2 years ago
anil.recoil.org