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

20 packages (6 direct, 14 transitive)

CAPDirect240
MonoidalCategoriesDirect234
CartesianCategoriesDirect232
ToolsForCategoricalTowersDirect155
ToposesDirect121
FpCategoriesDirect5
AbstractAlgebraDepth 242,752
NemoDepth 230,248
QuotientCategoriesDepth 2149
FinSetsForCAPDepth 2117
PreferencesDepth 31,193,130
PrecompileToolsDepth 3969,777
CompatDepth 3869,970
MacroToolsDepth 3738,888
RandomExtensionsDepth 341,486
FLINT_jllDepth 335,358
SHADepth 3439
MatricesForHomalgDepth 3234
LinearAlgebraForCAPDepth 3231
TOMLDepth 49,048
Dependents

No packages in the registry depend on this package.