99 citations
- University of LisbonPT15 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire Kastler BrosselFR5 papers
- Sorbonne UniversitéFR4 papers
- Radboud University NijmegenNL3 papers
- École Normale Supérieure - PSLFR2 papers
- Medical University of South CarolinaUS2 papers
- Stony Brook UniversityUS2 papers
- University of AlbertaCA2 papers
- Carnegie Mellon UniversityUS1 paper
- Charles UniversityCZ1 paper
- Constructor UniversityDE1 paper
Showing 2011 · cs.DLShow all
2 papers · 2 filters
cs.DL2011★ 31 cited
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz +3
The Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and…
cs.DL2011★ 23 cited
Large Formal Wikis: Issues and Solutions
Jesse Alama, Kasper Brink, Lionel Mamane +1
We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general…