私はこの一週間、環境の開発に取り組んできました。これにより、大衆のRL環境のニーズが解決される可能性があると信じています。私が作成した StepRunProver にインスパイアされたマルチターン Lean4 校正環境など、テストすべき面白くてクールなものがたくさんありました。