Pages that link to "Item:Q1904402"

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)