Set theory with types

[baruchel]

Article URL: https://lawrencecpaulson.github.io//2025/11/21/Typed_Set_Theory.html

Comments URL: https://news.ycombinator.com/item?id=46012846

Points: 55

# Comments: 11