Y
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