Published December 12, 2022
| Version 1
Conference paper
Open
Aesop: White-Box Best-First Proof Search for Lean
- 1. Vrije Universiteit Amsterdam
- 2. Technical University of Denmark
Description
This is a preprint of the paper "Aesop: White-Box Best-First Proof Search for Lean", to be presented at CPP 2023. The published version will be available at doi:10.1145/3573105.3575671.
Notes
Partly funded by NWO grant 016.Vidi.189.037 (Lean Forward).
Files
aesop.pdf
Files
(562.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:0c852443e6a734cb71db3658ed3ee18c
|
562.2 kB | Preview Download |
Additional details
Related works
- Is previous version of
- Conference paper: 10.1145/3573105.3575671 (DOI)
- Is supplemented by
- Software: 10.5281/zenodo.7430173 (DOI)