/lean-category-theory

An experimental category theory library for Lean

Primary LanguageLean

Stargazers

No one’s star this repository yet.