Follow story of math crisis, math foundation, proof theory, and homotopy type theory

foundation of math! check out my video! all haskell and fancy coders, lets learn homotopy type theory!

Show thread
Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!