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
LargeCardinalHierarchy50.01A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-070.0.1Stephen_E_A_Britton