Pinned Repositories
book
A textbook on informal homotopy type theory
book
A textbook on informal homotopy type theory
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
prime235711
stacks-project
Repository for the Stacks Project
stacks-project
Repository for the Stacks Project
prime235711's Repositories
prime235711/book
A textbook on informal homotopy type theory
prime235711/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
prime235711/prime235711
prime235711/stacks-project
Repository for the Stacks Project