New Developments in Parsing Mizar

DOI10.1007/978-3-642-31374-5_30zbMath1360.68743arXiv1205.0170OpenAlexW1959835441MaRDI QIDQ2907343

Czesław Byliński, Jesse Alama

Publication date: 7 September 2012

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

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

Mathematics Subject Classification ID

Related Items (5)

A new export of the Mizar mathematical library ⋮ Four decades of {\textsc{Mizar}}. Foreword ⋮ Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization ⋮ Mizar: State-of-the-art and Beyond ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser

Uses Software

• Mizar

Cites Work

• MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
• Mathematical Knowledge Management
• Unnamed Item
• Unnamed Item

This page was built for publication: New Developments in Parsing Mizar