GitHub repository: treeform/forematics
Primary language: Nim
Created: 2021-12-07T02:56:52Z
Description: Formatics - Metamath verifier written in Nim.