---
title: "SU-CS242 NOV142024"
source: https://www.jemoka.com/posts/kbhsu_cs242_nov142024/
date: 2024-11-14
---

type theory and well-founded sets
Program Verification Proving certain properties about programs&mdash;perhaps types, but not just types.
Program verification proofs are usually written manually, but uses a proof assistant which&hellip;
proof assistant Helps with proof, by:
checking the proof for correctness (uses type theory) helps automate the easy parts
