Language

Package: proof-general @ 4.4-1.1b1083e

Synopsis

Generic front-end for proof assistants based on Emacs

Description

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.

Home page
https://proofgeneral.github.io/
Location
gnu/packages/coq.scm (line: 148, column: 4)
License

Lint warnings

LinterMessageLocation
input-labels

Identify input labels that do not match package names

label 'emacs' does not match package name 'emacs-minimal'