2 results found Sort:

ProofGeneral
PG ProofGeneral
85
481
gpl-3.0
13
This repo is the new home of Proof General
coq emacs proof-general proof-assistant docker-coq-action integrated-development-environment
Created 2015-09-21
9,421 commits to master branch, last one 12 days ago
cpitclaudel
company-coq cpitclaudel
30
349
gpl-3.0
11
A Coq IDE build on top of Proof General's Coq mode
coq emacs company-mode proof-general proof-assistant integrated-development-environment
Created 2015-02-15
905 commits to master branch, last one about a year ago