GitHub repository: Ankit-Jaiswal/ParMizar
Primary language: Scala
Created: 2016-02-02T18:12:38Z
Description: A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2