Coqoon

Coqoon: eclipse plugin providing a feature-complete development environment for Coq.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Barras, Bruno; Tankink, Carst; Tassi, Enrico: Asynchronous processing of Coq documents: from the kernel up to the user interface (2015)