A macro for reusing abstract functions and theorems

DOI10.4204/eptcs.114.3zbMath1542.6821MaRDI QIDQ6587251

Julien Schmaltz, Sebastiaan J. C. Joosten, Bernard van Gastel

Publication date: 13 August 2024

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A macro for reusing abstract functions and theorems