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 leanuser83 on Saturday November 21, 2020 @01:16AM (#25168145)
That is exactly the point being made. That you can spot right away that something "doesn't make sense".
[ Parent | on HN ]

There are no comments on this comment yet.