via https://twitter.com/ko_bx/status/1193828537188401153
I’ve recently started studying Topology, which turned out to be a topic filled with set theory and theorems around it. Unfortunately, my brain was well-poisoned with Type Theory by the time I’ve started, so I couldn’t help but itch my hands in an attempt of encoding things in Type Theory. Kostiantyn Rybnikov @ko_bx https://k-bx.github.io/articles/propositions-as-types-missing-links.html @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/8fc10c9a-1f6d-4189-8a0a-66a23e9fb7dd%40googlegroups.com.
