2 results found Sort:

ProofGeneral
PG ProofGeneral
90
495
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,450 commits to master branch, last one about a month ago
cpitclaudel
company-coq cpitclaudel
28
351
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 2 years ago