Hacker News new | ask | show | jobs
by drdeca 89 days ago
I’m aware of constructive math. You still have the type of natural numbers in that?