dr. heap
| Date | Title | Author |
|---|---|---|
| Jun 29, 2024 | A sound and complete proof system for separation logic (part 1) | |
| Feb 16, 2024 | On invariance and inconsistency | |
| Nov 1, 2023 | Can the Collatz conjecture be proven, or not? | |
| May 6, 2023 | What is an education? | |
| Mar 15, 2023 | Correctness of two sorting algorithms | |
| Feb 23, 2023 | Can ChatGPT do an exam? |
No matching items