The following pages link to A Brief Overview of Mizar (Q3183518):
Displaying 29 items.
- Mizar (Q16873) (← links)
- 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)
- Proof verification and proof discovery for relativity (Q514557) (← links)
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- Coquelicot: a user-friendly library of real analysis for Coq (Q2018661) (← links)
- Arithmetic operations on short finite sequences (Q2311529) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Initial Comparison of Formal Approaches to Fuzzy and Rough Sets (Q2814146) (← links)
- Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (Q2891399) (← links)
- Random Forests for Premise Selection (Q2964471) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” (Q3100213) (← links)
- Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets (Q3300368) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- Tools for MML Environment Analysis (Q3453132) (← links)
- Characteristics of de Bruijn’s early proof checker Automath (Q5089679) (← links)
- Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)
- SAT-Enhanced Mizar Proof Checking (Q5495946) (← links)
- What is the point of computers? A question for pure mathematicians (Q6118162) (← links)
- Equivalence checking for orthocomplemented bisemilattices in log-linear time (Q6535616) (← links)
- Formula normalizations in verification (Q6535699) (← links)
