Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers [pdf]

(steuwer.info) by todsacerdoti | Nov 25, 2025 | 0 comments on HN