New Developments in Parsing Mizar


The mizar language aims to capture mathematical vernacular by providing a rich language for mathematics. From the perspective of a user, the richness of the language is welcome because it makes writing texts more “natural”. But for the developer, the richness leads to syntactic complexity, such as dealing with overloading. As part of the larger project of… (More)
DOI: 10.1007/978-3-642-31374-5_30


  • Presentations referencing similar topics