A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2
siddhartha-gadgil/ParMizar
A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2
Scala
A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2
Scala
A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2