ProofGeneral est un mode Emacs pour les assistants à la preuve comme Coq. Il permet par exemple de débugguer un fichier de preuves pas à pas.
Version installée: 3.4