Periodic Reporting for period 4 - ALEXANDRIA (Large-Scale Formal Proof for the Working Mathematician)

Summary
Mathematics lies at the heart of science and technology, affecting our daily lives in everything from aircraft to finance. However, as the world of mathematics becomes ever more abstract and complex, questions of correctness become pressing. Proofs can be 100s of pages long...
More information & hyperlinks
Web resources: https://www.cl.cam.ac.uk/