2 results found Sort:

ProofGeneral
PG ProofGeneral
92
505
gpl-3.0
12
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,456 commits to master branch, last one about a month ago
cpitclaudel
company-coq cpitclaudel
28
355
gpl-3.0
9
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