Blog / Learn
Learning material on formalization, checked rulebooks, modeling choices, proof assistants, and evidence.
Learning material on formalization, checked rulebooks, modeling choices, proof assistants, and evidence.
Learn
Learning material on formalization, checked rulebooks, modeling choices, proof assistants, and evidence.
Explore the methods behind formalization: how proof assistants developed, what constructive mathematics contributes, and how solvers, model checkers, and refinement arguments fit into a larger verification process.
This three-part series follows the boundaries between specialized tools and formal arguments:
The articles distinguish a checked formal claim from the separate work of choosing an appropriate model and validating its connection to the world.