Tentative Experiments with Ellipsis in Mizar
From MaRDI portal
Publication:2907348
DOI10.1007/978-3-642-31374-5_35zbMath1360.68755OpenAlexW200592030MaRDI QIDQ2907348
Publication date: 7 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31374-5_35
Related Items
Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver, Improving legibility of formal proofs based on the close reference principle is NP-hard, Readable Formalization of Euler’s Partition Theorem in Mizar, Methods of lemma extraction in natural deduction proofs, Flexary Operators for Formalized Mathematics, Automated Improving of Proof Legibility in the Mizar System, SAT-Enhanced Mizar Proof Checking
Uses Software
