Formal construction and verification of programs in Type Theory

October 8, 2024

LThis course aims to introduce students to the use of formal methods for the production of software that is correct by construction.