proof-general

Proof General ist ein generisches Front-End für Proof-Assistenten, basierend auf Emacs.
1
Antwort

Unicode-Glyphen für Schlüsselwörter und Operatoren in Coq / Proof General unter Emacs

Diese Frage hat mit der Konfiguration des Coq-Modus in Proof General in Emacs zu tun. Ich versuche, dass Emacs Schlüsselwörter und Notation in Coq automatisch durch die entsprechenden Unicode-Glyphen ersetzt. Es ist mir gelungen, fun als d...
20.04.2012, 18:14