Keyword:Mizar

Publications
Classification and Dependency Visualization of the Articles of the Mizar Mathematical Library Shotaro Suzuki, Masahiro Nagasaki and Kazuhisa Nakasho EasyChair Preprint 10788
VSCode Extension for the Web and Coding Assistance for the Mizar Language Haruka Miyata, Ryutaro Matsumoto and Kazuhisa Nakasho EasyChair Preprint 10787
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint 4433
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
Escape to Mizar from ATPs Jesse Alama In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning