3 ms·Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers [pdf]1 points by todsacerdoti 11mo ago