[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/course/cs242/kbhsu_cs242_nov142024.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- 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—perhaps types, but not just types. Program verification proofs are usually written manually, but uses a proof assistant which… proof assistant Helps with proof, by: checking the proof for correctness (uses type theory) helps automate the easy parts