A Wiki for Mizar: Motivation, Considerations, and Initial Prototype

DOI10.1007/978-3-642-14128-7_38zbMath1286.68434arXiv1005.4552OpenAlexW3100063652MaRDI QIDQ3582731

Josef Urban, Herman Geuvers, Piotr Rudnicki, Jesse Alama

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1005.4552

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (8)

Mizar: State-of-the-art and Beyond ⋮ Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library ⋮ Tools for MML Environment Analysis ⋮ An integrated web platform for the Mizar Mathematical Library ⋮ ATP and presentation service for Mizar formalizations ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Theorem Proving in Large Formal Mathematics as an Emerging AI Field ⋮ Large Formal Wikis: Issues and Solutions

Uses Software

• MPTP 0.2
• Mizar
• C-CoRN

This page was built for publication: A Wiki for Mizar: Motivation, Considerations, and Initial Prototype