eprover packages - Repology

Versions Packages Information History Badges Report

24 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⁴⁶
- Package page⁴⁶
- Package recipe
- Package recipe (raw)

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⁴⁶
- Package sources⁴⁶
- Package recipe
- Package recipe (raw)
- Build log

Fedora 26
^updates

E

2.0 (2.0-1.fc26)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 26
^release

E

1.9.1 (1.9.1-2.fc26)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 27
^release

E

2.0 (2.0-3.fc27)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 28
^release

E

2.0 (2.0-4.fc28)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 29
^updates

E

2.2 (2.2-1.fc29)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe
- Package recipe (raw)

Fedora 29
^release

E

2.1 (2.1-2.fc29)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe
- Package recipe (raw)

Fedora 30
^updates

E

2.3 (2.3-1.fc30)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 30
^release

E

2.2 (2.2-2.fc30)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 31
^updates

E

2.4 (2.4-1.fc31)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 31
^release

E

2.3 (2.3-2.fc31)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 32
^release

E

2.4 (2.4-2.fc32)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

Fedora 33
^release

E

2.5 (2.5-1.fc33)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):
- Upstream homepage⁴⁶
- Package sources
- Package recipe⁴⁶
- Package recipe (raw)

E

2.5 (2.5-2.fc34)

Summary:
Equational Theorem Prover
Category:
- Unspecified
License:
- GPLv2+ or LGPLv2+
Links(s):

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⁴⁶
- Package page⁴⁶
- Package sources
- Package issue tracker⁴⁶
- Package recipe (raw)

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 homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶
- Package recipe
- Package recipe (raw)

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 homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶
- Package recipe
- Package recipe (raw)⁴⁶

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 homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶
- Package recipe
- Package recipe (raw)⁴⁶

eprover

2.5

Summary:
Theorem prover for full first-order logic with equality
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe
- Package recipe (raw)⁴⁶

eprover

2.5

Summary:
Theorem prover for full first-order logic with equality
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe
- Package recipe (raw)⁴⁶

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-only
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

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⁴⁶
- Package recipe

academic/eprover

2.5

Maintainer:
- nick@smallbone.se
Category:
- academic
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶
- Package recipe (raw)⁴⁶