MizAR 60 for Mizar 50.

Jan Jakubuv Karel Chvalovský Zarathustra Amadeus Goertzel Cezary Kaliszyk Mirek Olsák Bartosz Piotrowski Stephan Schulz Martin Suda Josef Urban

Published in: CoRR (2023)

Keyphrases