search

david-a-wheeler / mmverify.py

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

Parallelize tests #21

Closed david-a-wheeler closed 1 year ago