https://www.drheap.nl/weblog/living-in-amsterdam.html 2026-03-20T09:11:29.310Z https://www.drheap.nl/index.html 2025-04-07T22:31:20.314Z https://www.drheap.nl/author/hans-dieter-hiep/index.html 2025-04-07T22:31:20.304Z https://www.drheap.nl/atom.html 2025-04-07T22:31:20.304Z https://www.drheap.nl/articles/2024/sound-and-complete-proof-system-for-separation-logic-part-1/index.html 2025-04-07T22:31:20.303Z https://www.drheap.nl/articles/2023/what-is-an-education/index.html 2025-07-27T12:42:39.354Z https://www.drheap.nl/articles/2023/can-the-collatz-conjecture-be-proven-or-not/index.html 2025-04-07T22:31:20.268Z https://www.drheap.nl/about/index.html 2025-05-02T18:28:37.230Z https://www.drheap.nl/about-hans-dieter-hiep/index.html 2026-03-20T09:11:29.309Z https://www.drheap.nl/articles/2023/can-chatgpt-do-an-exam/index.html 2025-04-07T22:31:20.267Z https://www.drheap.nl/articles/2023/correctness-of-two-sorting-algorithms/index.html 2025-04-07T22:31:20.270Z https://www.drheap.nl/articles/2024/on-invariance-and-inconsistency/index.html 2025-04-07T22:31:20.292Z https://www.drheap.nl/articles/index.html 2025-04-07T22:31:20.304Z https://www.drheap.nl/author/frank-de-boer/index.html 2025-04-07T22:31:20.304Z https://www.drheap.nl/author/index.html 2025-04-07T22:31:20.304Z https://www.drheap.nl/weblog/index.html 2026-02-22T19:51:57.784Z