AdditiveClosuresForCAP

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

13 packages (4 direct, 9 transitive)

PackageDepthDownloads
CAP
Direct
12
LinearAlgebraForCAP
Direct
7
MonoidalCategories
Direct
7
MatricesForHomalg
Direct
4
AbstractAlgebra
Depth 2
31,524
Nemo
Depth 2
22,887
Preferences
Depth 3
415,822
PrecompileTools
Depth 3
388,186
MacroTools
Depth 3
294,556
RandomExtensions
Depth 3
30,449
FLINT_jll
Depth 3
25,337
SHA
Depth 3
123
TOML
Depth 4
2,535
Dependents

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

PackageDepthDownloads
LinearClosuresForCAP
Direct
4
FreydCategoriesForCAP
Direct
4
FpLinearCategories
Direct
1