Search in specific suite: [hardy] [hardy-updates] [hardy-backports] [lucid] [lucid-updates] [lucid-backports] [natty] [natty-updates] [natty-backports] [oneiric] [oneiric-updates] [oneiric-backports] [precise] [precise-updates] [precise-backports] [quantal]
Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]
You have searched for packages that names contain eprover in all suites, all sections, and all architectures. Found 3 matching packages.
Exact hits
Package eprover
- lucid (science):
Theorem prover for first-order logic with equality [universe]
1.0.004-1ubuntu1: amd64 i386 - natty (science):
Theorem prover for first-order logic with equality [universe]
1.0.004-1ubuntu1: amd64 i386 - oneiric (science):
Theorem prover for first-order logic with equality [universe]
1.0.004-1ubuntu2: amd64 i386
Other hits
Package eprover-doc-html
- lucid (science):
Theorem prover for first-order logic with equality - HTML doc [universe]
1.0.004-1ubuntu1: all - natty (science):
Theorem prover for first-order logic with equality - HTML doc [universe]
1.0.004-1ubuntu1: all - oneiric (science):
Theorem prover for first-order logic with equality - HTML doc [universe]
1.0.004-1ubuntu2: all
Package eprover-examples
- lucid (science):
Theorem prover for first-order logic with equality - examples [universe]
1.0.004-1ubuntu1: all - natty (science):
Theorem prover for first-order logic with equality - examples [universe]
1.0.004-1ubuntu1: all - oneiric (science):
Theorem prover for first-order logic with equality - examples [universe]
1.0.004-1ubuntu2: all