Pages that link to "Item:Q5200114"
From MaRDI portal
The following pages link to Licensing the Mizar Mathematical Library (Q5200114):
Displaying 16 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301) (← links)
- Mining the Archive of Formal Proofs (Q3453102) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Tools for MML Environment Analysis (Q3453132) (← links)
- Finite Groups Representation Theory with Coq (Q3637300) (← links)
