Move stateless reducers (e.g., reduce_stateless reduce_term) and other common functions back into lib (globally)
tlringer opened this issue · comments
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
tlringer opened this issue · comments