Coqoon

swMATH13284MaRDI QIDQ25199FDOQ25199

Author name not available (Why is that?)

Cited In (2)

• Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface
• CoqPIE: An IDE Aimed at Improving Proof Development Productivity

This page was built for software: Coqoon