Learning Proof Transformations and Its Applications in Interactive Theorem Proving

DOI10.1007/978-3-031-43369-6_13MaRDI QIDQ6496633

Josef Urban, Lasse Blaauwbroek, Liao Zhang, Cezary Kaliszyk

Publication date: 3 May 2024

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

This page was built for publication: Learning Proof Transformations and Its Applications in Interactive Theorem Proving