search

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

add const_ranges iterator #140

Closed digama0 closed 1 year ago

digama0 commented 1 year ago

Used by mm-web-rs, a convenience method for getting the constants in an expression, including the rump at the end.