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