2 results found Sort:

ProofGeneral
PG ProofGeneral
88
492
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,446 commits to master branch, last one about a month ago
cpitclaudel
company-coq cpitclaudel
29
353
gpl-3.0
10
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