Large-Scale Formal Proof for the Working Mathematician—Lessons Learnt from the ALEXANDRIA Project
Book chapter in Lecture Notes in Computer Science (August 2023)
The most recent citing publication is shown below. View this citation on Dimensions.
Book chapter in Lecture Notes in Computer Science (August 2023)