An Optimized Object Model for an Interactive Theorem Prover

Date: December 12, 2018