AdditiveClosuresForCAP

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

13 packages (4 direct, 9 transitive)

PackageDepthDownloads
CAP
Direct
62
MatricesForHomalg
Direct
27
MonoidalCategories
Direct
24
LinearAlgebraForCAP
Direct
24
AbstractAlgebra
Depth 2
43,123
Nemo
Depth 2
31,055
Preferences
Depth 3
483,465
PrecompileTools
Depth 3
425,020
MacroTools
Depth 3
306,017
RandomExtensions
Depth 3
42,082
FLINT_jll
Depth 3
36,634
SHA
Depth 3
157
TOML
Depth 4
2,190
Dependents

3 packages (3 direct) · 30 downloads (last 30 days)

PackageDepthDownloads
LinearClosuresForCAP
Direct
12
FreydCategoriesForCAP
Direct
12
FpLinearCategories
Direct
6