Coqoon

swMATH13284MaRDI QIDQ25199FDOQ25199

Author name not available (Why is that?)

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

Cited In (5)

• 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