Jiangwei Yu
Jiangwei Yu
It seems that the model "formal-lean-pact" doesn't exist. Could you please tell me what 's the new model id?
Great job! I want to use lean-gym as an engine to train my AI just like RL gym, but I don't know how to integrate lean-gym with python. Could you...