Remove explicit category theory references
tlringer opened this issue · comments
Just use this metatheoretically. It makes the code more confusing and harder to maintain.
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
tlringer opened this issue · comments
Just use this metatheoretically. It makes the code more confusing and harder to maintain.