cpitclaudel / company-coq

A Coq IDE build on top of Proof General's Coq mode
354Updated last year

Related projects

Alternatives and complementary repositories for company-coq