technically a blog
home
|
blog
/
tags
|
newsletter
|
projects
#logic
2025-06-23:
Proving that every program halts