GitHub repository: zariuq/mmverify.py
Primary language: Python
Description: Metamath verifier in Python