LinearClosuresForCAP

Last updated:
Downloads last 30 days
99
Downloads last week
56
Downloads last day
1
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies

18 packages (5 direct, 13 transitive)

PackageDepth ↑Downloads ↓
CAP
Direct
214
MatricesForHomalg
Direct
209
LinearAlgebraForCAP
Direct
208
FinSetsForCAP
Direct
101
AdditiveClosuresForCAP
Direct
99
AbstractAlgebra
Depth 2
39,895
Nemo
Depth 2
27,788
MonoidalCategories
Depth 2
210
CartesianCategories
Depth 2
208
Toposes
Depth 2
105
Preferences
Depth 3
1,150,035
PrecompileTools
Depth 3
913,632
Compat
Depth 3
839,519
MacroTools
Depth 3
705,429
RandomExtensions
Depth 3
39,672
FLINT_jll
Depth 3
32,190
SHA
Depth 3
455
TOML
Depth 4
9,215
Dependents

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

PackageDepth ↑Downloads ↓
FreydCategoriesForCAP
Direct
100
FpLinearCategories
Direct
1