/ParMizar

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

Primary LanguageScala

Stargazers

No one’s star this repository yet.