Coqoon

MaRDI QIDQ25199swMATHFDO

Official website https://itu.dk/research/tomeso/coqoon/

Cited in

(6)

• Proviola
• CtCoq
• CoqPIE
• PeaCoq
• Asynchronous processing of Coq documents: from the kernel up to the user interface
• Coqpie: an IDE aimed at improving proof development productivity (rough diamond)

This page was built for software: Coqoon