Read news on Formal Proof with our app.
Read more in the app
Completing the formal proof of higher-dimensional sphere packing
A Formal Proof of Complexity Bounds on Diophantine Equations
Anatomy of a Formal Proof
