GitHub repository: semorrison/lean-category-theory
Primary language: Lean
Created: 2017-02-05T05:40:54Z
Description: An experimental category theory library for Lean