There are 0 repository under proof-general topic.
This repo is the new home of Proof General
A Coq IDE build on top of Proof General's Coq mode
A proof tree viewer that works with Coq through Proof General
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
Select OCaml opam switches via a menu or using a command
Configuring Proof General for use with Coq is hard and the defaults suck. This is a simple baseline configuration for Emacs.