HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.