AdditiveClosuresForCAP

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

13 packages (4 direct, 9 transitive)

PackageDepthDownloads
CAP
Direct
0
LinearAlgebraForCAP
Direct
0
MonoidalCategories
Direct
0
MatricesForHomalg
Direct
0
AbstractAlgebra
Depth 2
11,161
Nemo
Depth 2
6,381
Preferences
Depth 3
272,679
PrecompileTools
Depth 3
201,525
MacroTools
Depth 3
166,800
RandomExtensions
Depth 3
10,274
FLINT_jll
Depth 3
7,473
SHA
Depth 3
218
TOML
Depth 4
2,928
Dependents

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

PackageDepthDownloads
LinearClosuresForCAP
Direct
0
FpLinearCategories
Direct
0
FreydCategoriesForCAP
Direct
0