cpitclaudel / company-coq

A Coq IDE build on top of Proof General's Coq mode

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cpitclaudel/company-coq Stargazers