The following pages link to On rewriting rules in Mizar (Q1945908):
Displayed 17 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)
- Fermat's little theorem via divisibility of Newton's binomial (Q500025) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Multiplication-related classes of complex numbers (Q2113836) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Initial Comparison of Formal Approaches to Fuzzy and Rough Sets (Q2814146) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301) (← links)
- Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets (Q3300368) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Tools for MML Environment Analysis (Q3453132) (← links)
- SAT-Enhanced Mizar Proof Checking (Q5495946) (← links)