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 pfortuny on Saturday November 21, 2020 @02:52AM (#25168404)
It is just a way to hide the definition of local compactness of a topological space with a mistake (should be U included in K).
[ Parent | on HN ]

There are no comments on this comment yet.