News for hackers. Stuff that matters.

A comment on Why is dependent type theory more suitable than set theory for proof assistants?. Parent comment

Re:Why is dependent type theory more suitable than set theor... by contravariant on Saturday November 21, 2020 @12:11PM (#25170919)
That happens all the time with ordinals.
[ Parent | on HN ]

There are no comments on this comment yet.