Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
eprover
29
package(s) known
AUR
eprover
2.5 (2.5-1)
Summary:
E is theorem prover for full first-order logic with equality.
Maintainer:
asch@aur
License:
GPL2
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
DPorts
math/eprover
2.0 (2.0_1)
Summary:
Theorem prover for full first-order logic with equality
Maintainer:
greg@unrelenting.technology
Category:
math
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log
4
6
Fedora 26
updates
E
2.0 (2.0-1.fc26)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 26
release
E
1.9.1 (1.9.1-2.fc26)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 27
release
E
2.0 (2.0-3.fc27)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 28
release
E
2.0 (2.0-4.fc28)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 29
updates
E
2.2 (2.2-1.fc29)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 29
release
E
2.1 (2.1-2.fc29)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 30
updates
E
2.3 (2.3-1.fc30)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 30
release
E
2.2 (2.2-2.fc30)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 31
updates
E
2.4 (2.4-1.fc31)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 31
release
E
2.3 (2.3-2.fc31)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 32
release
E
2.4 (2.4-2.fc32)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 33
release
E
2.5 (2.5-1.fc33)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 34
updates
E
2.6 (2.6-1.fc34)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 34
release
E
2.5 (2.5-2.fc34)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 35
release
E
2.6 (2.6-2.fc35)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 36
development
E
2.6 (2.6-3.fc36)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora Rawhide
development
E
2.6 (2.6-3.fc36)
Summary:
Equational Theorem Prover
Category:
Unspecified
License:
GPLv2+ or LGPLv2+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
FreeBSD Ports
math/eprover
2.0 (2.0_1)
Summary:
Theorem prover for full first-order logic with equality
Maintainer:
greg@unrelenting.technology
Category:
math
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
Funtoo 1.4
science-kit
sci-mathematics/e
1.8 (1.8-r1)
Summary:
E is a theorem prover for full first-order logic with equality
Maintainers:
gienah@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
GPL-2
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
science-kit
sci-mathematics/e
1.6
Summary:
E is a theorem prover for full first-order logic with equality
Maintainers:
gienah@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
GPL-2
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
science-kit
sci-mathematics/e
1.5
Summary:
E is a theorem prover for full first-order logic with equality
Maintainers:
gienah@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
GPL-2
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Homebrew
eprover
2.6
Summary:
Theorem prover for full first-order logic with equality
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
nixpkgs stable 21.05
eprover
2.5
Summary:
Automated theorem prover for full first-order logic with equality
Maintainers:
7c6f434c@mail.ru
gebner@gebner.org
License:
GPL-2.0
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs stable 21.11
eprover
2.6
Summary:
Automated theorem prover for full first-order logic with equality
Maintainers:
7c6f434c@mail.ru
gebner@gebner.org
License:
GPL-2.0
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs unstable
eprover
2.6
Summary:
Automated theorem prover for full first-order logic with equality
Maintainers:
7c6f434c@mail.ru
gebner@gebner.org
License:
GPL-2.0
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs unstable
eprover
2.6
Summary:
Automated theorem prover for full first-order logic with equality
Maintainers:
7c6f434c@mail.ru
gebner@gebner.org
License:
GPL-2.0
Links(s):
Upstream homepage
4
6
Package recipe
4
6
SlackBuilds
academic/eprover
2.5
Maintainer:
nick@smallbone.se
Category:
academic
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package recipe (raw)
4
6