Pages that link to "Item:Q1904402"
From MaRDI portal
The following pages link to Set theory for verification. II: Induction and recursion (Q1904402):
Displayed 6 items.
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Structuring metatheory on inductive definitions (Q1854368) (← links)
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465) (← links)
- The Isabelle Framework (Q3543647) (← links)
- The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf (Q4827615) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)