Hacker News new | ask | show | jobs
Proof of proof by induction (blog.nachivpn.me)
1 points by nachivpn 3524 days ago