Hacker News new | ask | show | jobs
How to do induction on the real numbers (ucsd-pl.github.io)
1 points by BmoreDaniel 3773 days ago