FpCategories

Last updated:
Downloads last 30 days
1
Downloads last week
1
Downloads last day
1
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies

18 packages (5 direct, 13 transitive)

PackageDepthDownloads
CAP
Direct
12
FinSetsForCAP
Direct
9
CartesianCategories
Direct
8
QuotientCategories
Direct
2
ToolsForCategoricalTowers
Direct
2
AbstractAlgebra
Depth 2
31,545
Nemo
Depth 2
22,962
Toposes
Depth 2
8
LinearAlgebraForCAP
Depth 2
7
MonoidalCategories
Depth 2
7
MatricesForHomalg
Depth 2
5
Preferences
Depth 3
416,580
PrecompileTools
Depth 3
389,380
MacroTools
Depth 3
294,385
RandomExtensions
Depth 3
30,486
FLINT_jll
Depth 3
25,433
SHA
Depth 3
124
TOML
Depth 4
2,558
Dependents

1 package (1 direct) · 1 downloads (last 30 days)

PackageDepthDownloads
FpLinearCategories
Direct
1