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
main
3 folders
eprover.2.6
Add new package for the 'E Theorem Prover'
3 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