☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (14)
HigherCategoryTheory
A formal verification project based on the work by Enric Cosme Llópez on "Higher-order categories".
#category-theory
#mathematics
Displaying
1-1
of
1
versions of
HigherCategoryTheory
Sort by
Date
Not a part of any version track.
ee8cc8b
18 days ago
Released on November 23, 2025 at 7:10:39PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.23.0
1
20