Coqoon: eclipse plugin providing a feature-complete development environment for Coq.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Roe, Kenneth; Smith, Scott: Coqpie: an IDE aimed at improving proof development productivity. (rough diamond) (2016)
- Barras, Bruno; Tankink, Carst; Tassi, Enrico: Asynchronous processing of Coq documents: from the kernel up to the user interface (2015)