![Screenshot of cs.ru.nl: Formal Reasoning [pdf]](https://hn.urlbox.com/shots/renders/2025/10/26/77013c5c-81bc-408e-84d4-d56e391bc5f8.jpg)
Formal Reasoning [pdf](cs.ru.nl)
129 points by Thom2503 | 27 comments
cs.ru.nl on Hacker News
2 stories on the front page, newest first. Scroll down to watch the site change over time.
2 stories on the front page, newest first. Scroll down to watch the site change over time.
129 points by Thom2503 | 27 comments
52 points by bindidwodtj | 39 comments