Mizar 60 for Mizar 50

DOI10.4230/LIPICS.ITP.2023.19MaRDI QIDQ6643000FDOQ6643000

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)