LinearClosuresForCAP

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

17 packages (4 direct, 13 transitive)

PackageDepthDownloads
CAP
Direct
12
FinSetsForCAP
Direct
9
LinearAlgebraForCAP
Direct
7
AdditiveClosuresForCAP
Direct
4
AbstractAlgebra
Depth 2
31,545
Nemo
Depth 2
22,962
CartesianCategories
Depth 2
8
Toposes
Depth 2
8
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

2 packages (2 direct) · 5 downloads (last 30 days)

PackageDepthDownloads
FreydCategoriesForCAP
Direct
4
FpLinearCategories
Direct
1