search

david-a-wheeler / mmverify.py

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

This commit addresses an issue where hypotheses are erroneously activ… #25

Closed drvdw closed 4 months ago

drvdw commented 4 months ago

Summary: This change ensures that if a step in a proof has the type $e or $f, its label corresponds to an active hypothesis.

Issue: Fixing Nonactive Hypotheses Treated as Active #24

david-a-wheeler commented 4 months ago

Thank you very much!