remove a logging command used only for temporary debugging - Githubissues

david-a-wheeler / mmverify.py

Metamath verifier in Python

MIT License

35 stars 10 forks source link

remove a logging command used only for temporary debugging #16

Closed benjub closed 2 years ago