Keyword:Mizar

Papers
Classification and Dependency Visualization of the Articles of the Mizar Mathematical Library Shotaro Suzuki, Masahiro Nagasaki and Kazuhisa Nakasho EasyChair Preprint no. 10788
VSCode Extension for the Web and Coding Assistance for the Mizar Language Haruka Miyata, Ryutaro Matsumoto and Kazuhisa Nakasho EasyChair Preprint no. 10787
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint no. 4433
Escape to Mizar from ATPs Jesse Alama In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Initial Experiments with External Provers and Premise Selection on HOL Light Corpora Cezary Kaliszyk and Josef Urban In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning