FpLinearCategories

Downloads last 30 days
0
Downloads last week
0
Downloads last day
0
Total Downloads
Lifetime Growth (cumulative)
Dependencies

22 packages (13 direct, 9 transitive)

PackageDepthDownloads
CAP
Direct
3
AdditiveClosuresForCAP
Direct
2
FinSetsForCAP
Direct
2
LinearAlgebraForCAP
Direct
2
MonoidalCategories
Direct
2
LinearClosuresForCAP
Direct
2
Toposes
Direct
2
FreydCategoriesForCAP
Direct
2
CartesianCategories
Direct
2
MatricesForHomalg
Direct
2
ToolsForCategoricalTowers
Direct
1
QuotientCategories
Direct
0
FpCategories
Direct
0
AbstractAlgebra
Depth 2
32,887
Nemo
Depth 2
26,937
Preferences
Depth 3
488,005
PrecompileTools
Depth 3
437,705
MacroTools
Depth 3
320,739
RandomExtensions
Depth 3
31,035
FLINT_jll
Depth 3
27,669
SHA
Depth 3
82
TOML
Depth 4
3,295
Dependents

No packages in the registry depend on this package.