david-a-wheeler / mmverify.py

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

Fix Fhyp type #23

Closed zhengying-liu closed 5 months ago

zhengying-liu commented 5 months ago

A $f declaration should be a (Const, Var) tuple, not (Var, Const). Although as both Var and Const are actually str, this change doesn't affect the execution.

tirix commented 5 months ago

Yes, floating statements are of the form $f class A $. where the first element is a constant, and the second is a variable.