search

david-a-wheeler / mmverify.py

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

Some code streamlining #6

Closed benjub closed 2 years ago

benjub commented 2 years ago

As described in https://github.com/david-a-wheeler/mmverify.py/issues/4#issuecomment-1086112212

@david-a-wheeler : I'm not sure which variable you were referring to. Also, this PR needs some review, in particular for the phrasing of the docstrings (maybe also by the original contributors @raphlinus and @sctfn). And maybe use your test-suite on it?

benjub commented 2 years ago

Closing since this PR is superseded by PR #7