Proviola
From MaRDI portal
Software:13489
swMATH737MaRDI QIDQ13489FDOQ13489
Author name not available (Why is that?)
Cited In (7)
- 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
- Large formal wikis: issues and solutions
- Isabelle as document-oriented proof assistant
- Formal mathematics on display: a wiki for Flyspeck
- Communicating formal proofs: the case of Flyspeck
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
This page was built for software: Proviola
