FpLinearCategories

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

22 packages (13 direct, 9 transitive)

PackageDepthDownloads
AdditiveClosuresForCAP
Direct
0
CAP
Direct
0
ToolsForCategoricalTowers
Direct
0
MonoidalCategories
Direct
0
FpCategories
Direct
0
LinearClosuresForCAP
Direct
0
Toposes
Direct
0
QuotientCategories
Direct
0
FreydCategoriesForCAP
Direct
0
CartesianCategories
Direct
0
MatricesForHomalg
Direct
0
FinSetsForCAP
Direct
0
LinearAlgebraForCAP
Direct
0
AbstractAlgebra
Depth 2
11,243
Nemo
Depth 2
6,441
Preferences
Depth 3
272,509
PrecompileTools
Depth 3
200,494
MacroTools
Depth 3
166,100
RandomExtensions
Depth 3
10,407
FLINT_jll
Depth 3
7,541
SHA
Depth 3
215
TOML
Depth 4
2,994
Dependents

No packages in the registry depend on this package.