Trust and verification
We wrapped up today by talking about some topics in trust and verification. The mockup Lean 4 code for a verified (very simple!) compiler can be found here.
See the lecture capture for more details.
We wrapped up today by talking about some topics in trust and verification. The mockup Lean 4 code for a verified (very simple!) compiler can be found here.
See the lecture capture for more details.