Proviola
From MaRDI portal
Cited in
(13)- CtCoq
- ProofWeb
- Coqoon
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
- Formal mathematics on display: a wiki for Flyspeck
- AGORA
- CoqPIE
- PeaCoq
- Large formal wikis: issues and solutions
- Isabelle as document-oriented proof assistant
- Communicating formal proofs: the case of Flyspeck
- Towards Knowledge Management for HOL Light
- 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
This page was built for software: Proviola
