https://www.youtube.com/watch?v=ZMNao5YlGGU 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!
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!