LinearClosuresForCAP

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

17 packages (4 direct, 13 transitive)

PackageDepthDownloads
CAP
Direct
3
AdditiveClosuresForCAP
Direct
2
FinSetsForCAP
Direct
2
LinearAlgebraForCAP
Direct
2
AbstractAlgebra
Depth 2
32,887
Nemo
Depth 2
26,937
Toposes
Depth 2
2
MatricesForHomalg
Depth 2
2
MonoidalCategories
Depth 2
2
CartesianCategories
Depth 2
2
Preferences
Depth 3
488,005
PrecompileTools
Depth 3
437,705
MacroTools
Depth 3
320,739
RandomExtensions
Depth 3
31,035
FLINT_jll
Depth 3
27,669
SHA
Depth 3
82
TOML
Depth 4
3,295
Dependents

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

PackageDepthDownloads
FreydCategoriesForCAP
Direct
2
FpLinearCategories
Direct
0