Published June 14, 2023
| Version v1
Dataset
Open
LeanDojo Benchmark
Description
Files
Files
(46.0 MB)
Name | Size | Download all |
---|---|---|
md5:8b8ec4899ce2ea5bbde9b9ba8b467b8c
|
46.0 MB | Download |
Additional details
Related works
- Is described by
- https://leandojo.org/ (URL)