New Developments in Parsing Mizar

Abstract

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

Topics

  • Presentations referencing similar topics