A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool