Remove gptf dependency - Githubissues

openai / lean-gym

Apache License 2.0

150 stars 31 forks source link

Closed spolu closed 2 years ago

spolu commented 2 years ago

r? @dselsam

spolu commented 2 years ago

(also removes rw_sequeeze)

spolu commented 2 years ago

(quite thoroughly tested, merging!)