Homotopy Type Theory Sandbox (history)

September 22, 2024