Lean 4 library heavily focused on category theory and theoretical computer science
Primary LanguageLean