An extension to PUMPKIN PATCH with support for proof repair across type ...
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting ...