The following pages link to (Q4809073):
Displayed 5 items.
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465) (← links)
- (Q5875427) (← links)
- Wetzel: formalisation of an undecidable problem linked to the continuum hypothesis (Q6159370) (← links)