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