Published December 9, 2024 | Version 2
Dataset Open

Supplement for "Tactic Script Optimisation for Aesop"

Authors/Creators

  • 1. ROR icon Ludwig-Maximilians-Universität München

Description

This is the supplement for the paper "Tactic Script Optimisation for Aesop", to be published at CPP 2025. Please refer to the enclosed README for further information.

Files

README.md

Files (345.7 MB)

Name Size Download all
md5:566666c43f85b10a8cd017597b3c835b
11.0 MB Download
md5:5c9ce078db2035d513d62ef354611eed
334.7 MB Download
md5:7378f7055a66d186e14b3889054802f8
1.2 kB Preview Download

Additional details

Related works

Is supplement to
Conference paper: 10.1145/3703595.3705877 (DOI)

Software

Repository URL
https://github.com/leanprover-community/aesop
Programming language
Lean
Development Status
Active