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||15021004749 months ago|
|ProofGeneral.changes||0000000693693 Bytes||15155254773 months ago|
|ProofGeneral.spec||00000020992.05 KB||15021011919 months ago|
|ProofGeneralPortrait.eps.gz||00016469051.57 MB||1360064855about 5 years ago|
|suse-start-file.patch||00000012361.21 KB||1384283946over 4 years ago|