Software Open Access

Supplement for "Aesop: White-Box Best-First Proof Search for Lean"

Limperg, Jannis Limperg; From, Asta Halkjær

BibTeX Export

@software{limperg_jannis_limperg_2022_7430173,
  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,
  note         = {{Partly funded by NWO grant 016.Vidi.189.037 (Lean 
                   Forward).}},
  publisher    = {Zenodo},
  version      = 2,
  doi          = {10.5281/zenodo.7430173},
  url          = {https://doi.org/10.5281/zenodo.7430173}
}
47
9
views
downloads
All versions This version
Views 4732
Downloads 94
Data volume 12.6 GB3.1 GB
Unique views 3627
Unique downloads 63
More info on how stats are collected.
Indexed in
Publication date:
December 11, 2022
DOI:
10.5281/zenodo.7430173

Zenodo DOI Badge

DOI 

10.5281/zenodo.7430173

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7430173.svg)](https://doi.org/10.5281/zenodo.7430173)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7430173.svg
   :target: https://doi.org/10.5281/zenodo.7430173

HTML 

<a href="https://doi.org/10.5281/zenodo.7430173"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7430173.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7430173.svg

Target URL 

https://doi.org/10.5281/zenodo.7430173

Meeting:
Certified Proofs and Programs (CPP), Boston, MA, USA, January 16--17, 2023
Related identifiers:
Supplement to
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2 10.5281/zenodo.7430173 Dec 11, 2022
Version 1 10.5281/zenodo.7424819 Dec 11, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7424818. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export