[repl] cleanup using state_t instead of explicit state-passing - Githubissues

openai / lean-gym

Apache License 2.0

150 stars 31 forks source link

[repl] cleanup using state_t instead of explicit state-passing #1

Closed jesse-michael-han closed 3 years ago

jesse-michael-han commented 3 years ago

other minor touch-ups

spolu commented 3 years ago

LGTM