LazyCategories

Downloads last 30 days
0
Downloads last week
0
Downloads last day
0
Total Downloads

No data for the selected filters.

Lifetime Growth (cumulative)

No data for the selected filters.

Dependencies

18 packages (6 direct, 12 transitive)

CAPDirect246
MonoidalCategoriesDirect241
CartesianCategoriesDirect238
ToolsForCategoricalTowersDirect156
ToposesDirect128
AdditiveClosuresForCAPDirect116
AbstractAlgebraDepth 243,022
NemoDepth 230,238
MatricesForHomalgDepth 2239
LinearAlgebraForCAPDepth 2238
PreferencesDepth 31,214,622
PrecompileToolsDepth 3989,198
CompatDepth 3879,743
MacroToolsDepth 3752,569
RandomExtensionsDepth 341,746
FLINT_jllDepth 335,548
SHADepth 3430
TOMLDepth 48,968
Dependents

No packages in the registry depend on this package.