TY  - RPRT
TI  - MizAR 60 for Mizar 50
AU  - Jan Jakubův
AU  - Karel Chvalovský
AU  - Zarathustra Goertzel
AU  - Cezary Kaliszyk
AU  - Mirek Olšák
AU  - Bartosz Piotrowski
AU  - Stephan Schulz
AU  - Martin Suda
AU  - Josef Urban
PY  - 2023
UR  - https://arxiv.org/abs/2303.06686
ID  - 2303.06686
ER  -