aesop
Datasets
All datasets matching “aesop”aesop-ru-dataLean4-Aesop
Lean4-Aesop
Structured dataset from Aesop — White-box proof search automation.
Source
Repository: https://github.com/leanprover-community/aesop
Commit: fafca80479ff95e041d84373dda7122adf1295f2
Files: 250
License: apache-2.0
Schema
Column
Type
Description
statement
string
Declaration signature/claim with the leading keyword removed (verbatim slice); the full declaration minus its proof
proof
string
Verbatim proof/body, empty if the… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Lean4-Aesop.NuminaMath-LEAN-Aesop-ConfigLevel-4-Aesop-s-FablesLevel-6-Aesop-s-FablesLevel-5-Aesop-s-Fables