Pages that link to "Item:Q5428273"
From MaRDI portal
The following pages link to Revisions as an Essential Tool to Maintain Mathematical Repositories (Q5428273):
Displaying 13 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)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Gauge integral (Q1688749) (← links)
- Sequences of prime reciprocals. Preliminaries (Q1796770) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Tools for MML Environment Analysis (Q3453132) (← links)
- SAT-Enhanced Mizar Proof Checking (Q5495946) (← links)
