Skip to content

enforce matching Lean and LeanDojo versions - #10

Open
SAI-ADITH wants to merge 1 commit into
lean-dojo:mainfrom
SAI-ADITH:main
Open

enforce matching Lean and LeanDojo versions#10
SAI-ADITH wants to merge 1 commit into
lean-dojo:mainfrom
SAI-ADITH:main

Commits

Commits on Aug 6, 2026