category-theory-in-context-lean0.1.0
Lean Companion to the Category Theory in Context textbook by Emily Riehl
1-1 of 1 versions of category-theory-in-context-lean
Sort by
Date
- 0.1
0.1.0v4.24.0-rc11.0 MB
category-theory-in-context-lean0.1.00.1.0