issues
search
openai
/
lean-gym
Apache License 2.0
150
stars
31
forks
source link
bump mathlib
#10
Closed
spolu
closed
3 years ago
spolu
commented
3 years ago
Verified it builds.
Verified it builds.