FpLinearCategories

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

22 packages (13 direct, 9 transitive)

PackageDepthDownloads
CAP
Direct
78
MonoidalCategories
Direct
71
CartesianCategories
Direct
54
Toposes
Direct
54
LinearAlgebraForCAP
Direct
38
MatricesForHomalg
Direct
38
FinSetsForCAP
Direct
36
AdditiveClosuresForCAP
Direct
14
QuotientCategories
Direct
8
FpCategories
Direct
8
ToolsForCategoricalTowers
Direct
8
LinearClosuresForCAP
Direct
7
FreydCategoriesForCAP
Direct
0
AbstractAlgebra
Depth 2
20,342
Nemo
Depth 2
12,729
Preferences
Depth 3
420,950
PrecompileTools
Depth 3
338,492
MacroTools
Depth 3
288,871
RandomExtensions
Depth 3
19,589
FLINT_jll
Depth 3
14,271
SHA
Depth 3
219
TOML
Depth 4
4,965
Dependents

No packages in the registry depend on this package.