Introduction to Homotopy Type Theory
Users following HoTT-Intro
Simon Beaumont
sebeaumont
Retired systems and software engineer returned to studying my first love of mathematics. Mostly self hosting projects with gitea.
typetyro England
Arman Jasuja
armurox
Software Engineer II at Dubizzle who loves math, programming and generally solving puzzles! C | C++ | Python | Scheme | ML | Postgres | Flask | Django
@dubizzle Dubai, United Arab Emirates
