577 citations
- University of LisbonPT16 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
- École PolytechniqueFR2 papers
- GSI Helmholtz Centre for Heavy Ion ResearchDE2 papers
- Heidelberg UniversityDE2 papers
- Innaxis Foundation & Research InstituteES2 papers
- Iscte – Instituto Universitário de LisboaPT2 papers
- Medical University of South CarolinaUS2 papers
Showing cs.DLShow all
3 papers · 1 filter
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…
cs.DL2010★ 21 cited
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
Josef Urban, Jesse Alama, Piotr Rudnicki +1
Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could…