proof-general topic
List
proof-general repositories
company-coq
348
Stars
30
Forks
Watchers
A Coq IDE build on top of Proof General's Coq mode
PG
479
Stars
84
Forks
Watchers
This repo is the new home of Proof General
traf
24
Stars
1
Forks
Watchers
A proof tree viewer that works with Coq through Proof General
xcode-theme
16
Stars
0
Forks
Watchers
Xcode theme for Emacs