Versions Packages Information History Badges Report

Information for eprover

Versions

  • 2.5 (5)
  • 2.4
  • 2.3
  • 2.2
  • 2.1
  • 2.0 (2)
  • 1.9.1
  • 1.8
  • 1.6
  • 1.5

Package names

  • E
  • academic/eprover
  • eprover (3)
  • math/eprover
  • sci-mathematics/e

Repositories

Categories

  • Unspecified
  • academic
  • math
  • sci-mathematics

Licenses

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