News for hackers. Stuff that matters.

A comment on What do we mean by "the foundations of mathematics"?. Parent comment

Re:What do we mean by "the foundations of mathematics"? by bvssvni on Wednesday November 01, 2023 @05:04PM (#38105216)
I'm implementing it in this project: https://crates.io/crates/hooo
[ Parent | on HN ]

There are no comments on this comment yet.