Pages that link to "Item:Q1868506"
From MaRDI portal
The following pages link to A compendium of continuous lattices in MIZAR (Q1868506):
Displaying 18 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- Formalizing Arrow's theorem (Q1040010) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Formalization of quasilattices (Q2113839) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Development of the theory of continuous lattices in MIZAR (Q2751538) (← links)
- Defining power series and polynomials in Mizar (Q2751549) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Formalizing Physics: Automation, Presentation and Foundation Issues (Q3453125) (← links)
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description (Q5495943) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)