Packages tagged set-theory
1 package has this tag.
[Merge tag] (trustees only)Related tags: library (1), math (1), mathematics (1), maths (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| LargeCardinalHierarchy | 8 | 0.0 | 1 | A transfinite cardinal arithmetic library including all known large cardinals | (library, math, mathematics, maths, set-theory) | 2014-09-07 | 0.0.1 | Stephen_E_A_Britton |