DOI10.4230/LIPIcs.ITP.2019.26MaRDI QIDQ5875438
John W. Leo, Dan Grossman, Talia Ringer, Nathaniel Yazdani
Publication date: 3 February 2023
zbMATH Keywords
proof automation; ornaments; proof reuse
Mathematics Subject Classification ID
Uses Software