24 package(s) known
- Summary:
E is theorem prover for full first-order logic with equality.
- Maintainer:
- License:
- Links(s):
- Summary:
Theorem prover for full first-order logic with equality
- Maintainer:
- Category:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Equational Theorem Prover
- Category:
- License:
- Links(s):
- Summary:
Theorem prover for full first-order logic with equality
- Maintainer:
- Category:
- Links(s):
sci-mathematics/e
1.8 (1.8-r1)
- Summary:
E is a theorem prover for full first-order logic with equality
- Maintainers:
- Category:
- License:
- Links(s):
- Summary:
E is a theorem prover for full first-order logic with equality
- Maintainers:
- Category:
- License:
- Links(s):
- Summary:
E is a theorem prover for full first-order logic with equality
- Maintainers:
- Category:
- License:
- Links(s):
- Summary:
Theorem prover for full first-order logic with equality
- Links(s):
- Summary:
Theorem prover for full first-order logic with equality
- Links(s):
- Summary:
Automated theorem prover for full first-order logic with equality
- Maintainers:
- License:
- Links(s):
- Summary:
Automated theorem prover for full first-order logic with equality
- Maintainers:
- License:
- Links(s):
- Maintainer:
- Category:
- Links(s):