Toposes

Last updated:
Downloads last 30 days
1
Downloads last week
0
Downloads last day
0
Total Downloads
View Total Downloads data table
DateDownloads
1
Downloads by Region
Dependencies

12 packages (2 direct, 10 transitive)

PackageDepthDownloads
CartesianCategories
Direct
1
CAP
Direct
0
AbstractAlgebra
Depth 2
3,924
Nemo
Depth 2
1,767
MonoidalCategories
Depth 2
1
Preferences
Depth 3
191,286
PrecompileTools
Depth 3
133,135
MacroTools
Depth 3
109,246
RandomExtensions
Depth 3
3,247
FLINT_jll
Depth 3
2,178
SHA
Depth 3
125
TOML
Depth 4
1,382
Dependents

6 packages (3 direct, 3 transitive) · 2 downloads (last 30 days)

PackageDepthDownloads
FinSetsForCAP
Direct
1
FpLinearCategories
Direct
0
ZXCalculusForCAP
Direct
0
FpCategories
Depth 2
1
LinearClosuresForCAP
Depth 2
0
FreydCategoriesForCAP
Depth 3
0