Versions Packages Information History Related Badges Report

Information for proofgeneral

Package names

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

Versions

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

Repositories

Categories

  • Sciences/Mathematics
  • editors
  • math (2)
  • universe/editors

Licenses

  • GPL
  • GPL-2
  • unknown

Summaries

  • An emacs mode for interactive prooving
  • Emacs interface for Proof Assistants
  • Generic Emacs front-end for proof assistants
  • Generic interface for proof assistants (2)
  • Generic interface for proof assistants.

Maintainers

Homepages