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||1502100474about 1 year ago|
|ProofGeneral.changes||0000000693693 Bytes||15155254778 months ago|
|ProofGeneral.spec||00000020992.05 KB||1502101191about 1 year ago|
|ProofGeneralPortrait.eps.gz||00016469051.57 MB||1360064855over 5 years ago|
|suse-start-file.patch||00000012361.21 KB||1384283946almost 5 years ago|