proof-general

There are 8 repositories under proof-general topic.

ProofGeneral/PG
This repo is the new home of Proof General
Language:Emacs Lisp536 13 55894
cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode
Language:Emacs Lisp358 10 24129
hide-kawabata/traf
A proof tree viewer that works with Coq through Proof General
Language:OCaml24 3 01
juniorxxue/xcode-theme
Xcode theme for Emacs
Language:Emacs Lisp16 1 10
erikmd/tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
Language:Emacs Lisp6 4 26
ProofGeneral/opam-switch-mode
Select OCaml opam switches via a menu or using a command
Language:Emacs Lisp6 2 94
dk14/proofs
formal methods exercises
Language:Coq1 1 00
corwin-of-amber/sane-coq
Configuring Proof General for use with Coq is hard and the defaults suck. This is a simple baseline configuration for Emacs.
1 0