search

openai / lean-gym

Apache License 2.0
150 stars 31 forks source link

fail to setup #28

Open yxliu0903 opened 1 year ago

yxliu0903 commented 1 year ago

leanpkg: command not found when set up.