search

metamath / metamath-exe

Metamath program - source code for the Metamath executable
GNU General Public License v2.0
75 stars 25 forks source link

cleanup long-lived vars in verifyProof/assignVar #126

Closed digama0 closed 1 year ago

digama0 commented 1 year ago

this is a behavior-preserving refactor to move declarations closer to first use, since I was in the area while fixing #107.