1 search result for "tag:"logpath:Categories""

Showing 1 - 1
  1. rocq-categories

    No documentation

    A library for category theory
    keyword:category theory keyword:monoidal categories keyword:MacLane's coherence theorem keyword:string diagrams keyword:setoid logpath:Categories date:2026-05-07
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.0
    LGPL-3.0-or-later
    Used by 0 other packages
    18 May 2026