The Isabelle ENIGMA

From MaRDI portal

Publication:6572551

Jump to:navigation, search

DOI10.4230/lipics.itp.2022.16MaRDI QIDQ6572551

Zarathustra A. Goertzel, Josef Urban, Miroslav Olšák, Jan Jakubův, Cezary Kaliszyk, Jelle Piepenbrock

Publication date: 15 July 2024

zbMATH Keywords

premise selection E prover ENIGMA isabelle/sledgehammer

Mathematics Subject Classification ID

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

This page was built for publication: The Isabelle ENIGMA

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6572551&oldid=40111418"