Cited in
(13)- Large formal wikis: issues and solutions
- Communicating formal proofs: the case of Flyspeck
- Isabelle as document-oriented proof assistant
- Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5--10, 2010. Proceedings
- Formal mathematics on display: a wiki for Flyspeck
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
- CtCoq
- ProofWeb
- Coqoon
- AGORA
- CoqPIE
- PeaCoq
- Towards Knowledge Management for HOL Light
This page was built for software: Proviola
