siddhartha-gadgil/ParMizar

A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2

ParMizar

A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2