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
ProofGeneral.changes 693 Bytes Download File
ProofGeneral.spec 2.05 KB Download File
ProofGeneralPortrait.eps.gz 1.57 MB Download File
suse-start-file.patch 1.21 KB Download File

Comments for home:ptrommler:formal (0)

Login required, please login or signup in order to comment