Set theory with types

Posted 3 months ago by baruchel
125 points

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

5 comments

Loading..

Loading..

Loading..

Loading..

Loading..