Pages that link to "Item:Q3612442"
From MaRDI portal
The following pages link to Constructive Type Classes in Isabelle (Q3612442):
Displayed 29 items.
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Linear quantifier elimination (Q707743) (← links)
- A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- From types to sets by local type definition in higher-order logic (Q1722645) (← links)
- A consistent foundation for Isabelle/HOL (Q1739913) (← links)
- Isabelle's metalogic: formalization and proof checker (Q2055847) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- A modular first formalisation of combinatorial design theory (Q2128787) (← links)
- Exploring the structure of an algebra text with locales (Q2209550) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- Automating change of representation for proofs in discrete mathematics (extended version) (Q2364883) (← links)
- From Types to Sets by Local Type Definitions in Higher-Order Logic (Q2829259) (← links)
- A Consistent Foundation for Isabelle/HOL (Q2945636) (← links)
- Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/HOL (Q3100212) (← links)
- Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL (Q3183537) (← links)
- The Isabelle Framework (Q3543647) (← links)
- First-Class Type Classes (Q3543665) (← links)
- Local Theory Specifications in Isabelle/Isar (Q3638251) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Formal power series (Q5891671) (← links)
- (Q6079227) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)