Mizar 60 for Mizar 50

DOI10.4230/LIPICS.ITP.2023.19MaRDI QIDQ6643000zbMATH OpenFDO

Authors Jan Jakubův, Karel Chvalovský, Zarathustra A. Goertzel, Cezary Kaliszyk, Mirek Olšák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban

Publication date 26 November 2024

zbMATH Keywords

machine learningautomated reasoningMizarENIGMA

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Mizar 60 for Mizar 50

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643000)