Hacker News
new
|
ask
|
show
|
jobs
Formal Reasoning [pdf]
(cs.ru.nl)
145 points
by
Thom2503
3 days ago
|
31 comments
Loading...