proof-general

9calore

1risposta

Glifi Unicode per parole chiave e operatori in Coq/Proof General in Emacs

Questa domanda ha a che fare con la configurazione della modalità Coq in Proof General, in Emacs. Sto cercando di fare in modo che Emacs sostituisca automaticamente le parole chiave e la notazione in