サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ノーベル賞
proofgeneral.github.io
What is Proof General? Proof General is a generic interface for proof assistants (also known as interactive theorem provers), based on the extensible, customizable text editor Emacs. Proof General has been developed at the LFCS in the University of Edinburgh, mainly by David Aspinall, with contributions from other sites. It is distributed under the conditions of the GNU General Public License v3.0
このページを最初にブックマークしてみませんか?
『Proof General』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く