Olen kehittänyt ympäristöjä kuluneen viikon ajan. Uskon, että tämä voisi korjata massojen RL-ympäristötarpeet. On ollut paljon mielenkiintoisia ja hienoja juttuja testattavaksi, mukaan lukien StepRunProverin inspiroima monikierros Lean4-vedostusympäristö, jonka olen luonut.