LogoopenSUSE Build Service > Projects
Sign Up | Log In

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.

Source Files

Filename Size Changed Actions
PG-4.4.tar.gz 13.5 MB 9 months ago
ProofGeneral.changes 693 Bytes 3 months ago Download File
ProofGeneral.spec 2.05 KB 9 months ago Download File
ProofGeneralPortrait.eps.gz 1.57 MB about 5 years ago Download File
suse-start-file.patch 1.21 KB over 4 years ago Download File

Comments for home:ptrommler:formal (0)