issues
search
metamath
/
metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
25
stars
10
forks
source link
Substitution API, Grammar fix
#54
Closed
tirix
closed
2 years ago
tirix
commented
2 years ago
Adds an API to iterate through a list of substitutions,
This also fixes grammatical parsing for a special case (
class x
, which was not recognized as a simple [cv, vx]).
class x
, which was not recognized as a simple [cv, vx]).