Emacs front-end for various theorem provers
Proof General is a generic front-end for proof assistants (also known as interactive theorem provers), based on the customizable text editor Emacs. Proof General has been developed at the LFCS in the University of Edinburgh with contributions from other sites.
|PG-4.4.tar.gz||001410505613.5 MB||150210047412 months ago|
|ProofGeneral.changes||0000000693693 Bytes||15155254776 months ago|
|ProofGeneral.spec||00000020992.05 KB||150210119112 months ago|
|ProofGeneralPortrait.eps.gz||00016469051.57 MB||1360064855over 5 years ago|
|suse-start-file.patch||00000012361.21 KB||1384283946over 4 years ago|