@software{limperg_2022_7424819, author = {Limperg, Jannis Limperg and From, Asta Halkjær}, title = {{Supplement for "Aesop: White-Box Best-First Proof Search for Lean"}}, month = dec, year = 2022, publisher = {Zenodo}, version = 1, doi = {10.5281/zenodo.7424819}, url = {https://doi.org/10.5281/zenodo.7424819} }