youtube.com/watch?v=ZMNao5YlGG story of math crisis, math foundation, proof theory, and homotopy type theory

Follow

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

Sign in to participate in the conversation
Mastodon

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