mckoen

University of Alberta

Pinned Repositories

infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
Language:TeX31 7 02
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362298
mathlib4
The math library of Lean 4
Language:Lean1.5k 38 408336
CTG
Category Theory Game
Language:Lean00
infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
Language:Lean00
quasicategory
Formalizing quasicategories in Lean
Language:Lean10

mckoen's Repositories

mckoen/quasicategory
Formalizing quasicategories in Lean
Language:Lean10
mckoen/CTG
Category Theory Game
Language:Lean00
mckoen/infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
Language:Lean00