Handling a special case

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Apache License 2.0

26 stars 11 forks source link

Handling a special case #25

Closed tirix closed 3 years ago

tirix commented 3 years ago

This is the case where one of the type codes expected appears as a substring of the expression to be parsed. Also added handling a "FloatNotVariable" error case.