Y
Hacker News
new
|
ask
|
show
|
jobs
by
agumonkey
2080 days ago
and his blog
https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs....