Versions Packages Information History Related Badges Report

Information for proofgeneral

Package names

  • ProofGeneral (3)
  • emacs-common-proofgeneral
  • proofgeneral (3)
  • proofgeneral-emacs26
  • proofgeneral-emacs26_canna
  • proofgeneral-emacs27
  • proofgeneral-git

Versions

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

Repositories

Categories

  • Applications/Editors
  • Sciences/Mathematics
  • Unspecified
  • app-emacs
  • editors
  • math (2)
  • universe/editors

Licenses

  • GPL
  • GPL-2 (2)
  • GPLv2
  • unknown

Summaries

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

Maintainers

Homepages

Downloads