Versions Packages Information History Related Badges Report

Information for proofgeneral

Package names

  • ProofGeneral (2)
  • proofgeneral (3)
  • proofgeneral-emacs26 (1)
  • proofgeneral-emacs26_canna (1)
  • proofgeneral-emacs27 (1)
  • proofgeneral-git (1)

Versions

  • r8647.2626ed5 (1)
  • 4.4.1pre170114 (1)
  • 4.4 (1)
  • 4.3pre131011 (1)
  • 4.3pre130510 (1)
  • 4.2 (2)
  • 4.1 (1)
  • 3.7.1 (1)
  • 3.7 (1)

Repositories

Categories

  • Sciences/Mathematics (1)
  • app-emacs (1)
  • editors (1)
  • math (2)
  • universe/editors (1)

Licenses

  • GPL (1)
  • GPL-2 (1)
  • unknown (1)

Summaries

  • A generic interface for proof assistants (1)
  • An emacs mode for interactive prooving (1)
  • Emacs interface for Proof Assistants (1)
  • Generic interface for proof assistants (2)
  • Generic interface for proof assistants. (1)

Maintainers

Homepages

Downloads