Lean
an archive of posts in this category
| Apr 17, 2026 | Part 3: A Denotational Semantics for IMP |
|---|---|
| Apr 17, 2026 | Part 2: Lean's `Part` Monad |
an archive of posts in this category
| Apr 17, 2026 | Part 3: A Denotational Semantics for IMP |
|---|---|
| Apr 17, 2026 | Part 2: Lean's `Part` Monad |