The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs
@inproceedings{DBLP:conf/icse-formalise/TanDMW25,
author = {Chengsong Tan and
Alastair F. Donaldson and
Jonathan Juli{\'{a}}n Huerta y Munive and
John Wickerson},
title = {The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs},
booktitle = {13th {IEEE/ACM} International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025},
pages = {34--45},
publisher = {{IEEE}},
year = {2025},
doi = {10.1109/FORMALISE66629.2025.00010},
}