Hacker News new | ask | show | jobs
by pletnes 3063 days ago
It’s useful for certain theoretical proofs in analytic math - or so I’ve heard. Not all math is well suited to be coded into reliable software.