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!

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!