search

david-a-wheeler / mmverify.py

Metamath verifier in Python
MIT License
35 stars 10 forks source link

Add a simple pipeline to test changes #20

Closed david-a-wheeler closed 1 year ago