Pages that link to "Item:Q2907348"
From MaRDI portal
The following pages link to Tentative Experiments with Ellipsis in Mizar (Q2907348):
Displaying 7 items.
- 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)
- Methods of lemma extraction in natural deduction proofs (Q1945902) (← links)
- Readable Formalization of Euler’s Partition Theorem in Mizar (Q3453116) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)
- Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)
- SAT-Enhanced Mizar Proof Checking (Q5495946) (← links)
