/super-ai-symbol-mathink-lean-rl-environment

Primary LanguageLean

an interactive RL environment for lean4, to bulid ((gpt+drl) + lean4) based mathink/math-thinker.

books:  'Mathematical thought：from ancient to modern times'  《古今数学**》