Hacker News new | ask | show | jobs
Reverse Arithmetic in 10 seconds (reverse-math.makkajai.com)
1 points by shenoyroopesh 4222 days ago