☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
category-theory-in-context-lean
Lean Companion to the Category Theory in Context textbook by Emily Riehl
Transitive
Include transitive dependencies
Sort by
Require Order
Registry dependency.
Found on Reservoir.
mathlib
4b9a202
The math library of Lean 4
1
20
category-theory-in-context-leancategory-theory-in-context-lean