Read news on formalization with our app.
Read more in the app
Show HN: A proof-of-concept formalization of the IRS federal tax forms
Formalization of the Solution to the Hopf Problem
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
