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