search

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.
https://leandojo.org
MIT License
536 stars 80 forks source link

LeanDojo Benchmark 4 Version #182

Closed Adarsh321123 closed 1 month ago

Adarsh321123 commented 1 month ago

Can you please clarify what commit of Mathlib4 was used to generate version v9 of the LeanDojo Benchmark 4?