News for hackers. Stuff that matters.

A comment on The weird and wonderful world of constructive mathematics (2017) [pdf]. Parent comment

Re:The weird and wonderful world of constructive mathematics... by dooglius on Friday November 09, 2018 @04:06AM (#18413240)
This makes sense, thanks
[ Parent | on HN ]

There are no comments on this comment yet.