ProofGeneral, adapted for use with "checker", my prototype proof assistant
Primary LanguageEmacs LispGNU General Public License v2.0GPL-2.0