Accessing the Mizar Library with a Weakly Strict Mizar Parser

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_6 ◽

2016 ◽

pp. 77-82 ◽

Author(s):

Adam Naumowicz ◽

Radosław Piliszek

Download Full-text