はてなブックマーク

What is Proof General? 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. It is distributed under the conditions of the GNU General Public License. The main developer and manager of the Proo