Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.