Versions Packages Information History Badges Report

Information for eprover

Versions

  • 2.6 (3)
  • 2.5 (4)
  • 2.4
  • 2.3
  • 2.2
  • 2.1
  • 2.0 (2)
  • 1.9.1
  • 1.8
  • 1.6
  • 1.5

Package names

  • E
  • e
  • eprover (5)

Repositories

Categories

  • Unspecified
  • academic
  • math
  • sci-mathematics

Licenses

  • GPL-2
  • GPL-2.0
  • GPL2
  • GPLv2+ or LGPLv2+

Summaries

  • Automated theorem prover for full first-order logic with equality
  • E is a theorem prover for full first-order logic with equality
  • E is theorem prover for full first-order logic with equality.
  • Equational Theorem Prover
  • Theorem prover for full first-order logic with equality (2)

Maintainers

All package recipes

Downloads

Build logs