search

openai / lean-gym

Apache License 2.0
150 stars 31 forks source link

[repl] loop forever using `iterate_until` #4

Closed jesse-michael-han closed 3 years ago

spolu commented 3 years ago

LGTM!