Formatics - Metamath verifier written in Nim. - View it on GitHub