proofgeneral
★ 0
updated 11y ago
⑂ fork
Proof General theorem prover interface --- IN ATTIC BECAUSE: last cvs standing, see https://github.com/emacsmirror/p/issues/33
No plain-English explanation yet — one is being written right now. Check back in a minute.