Jag har utvecklat miljöer för den senaste veckan. Jag tror att detta skulle kunna fixa RL-miljöbehoven hos massorna. Det har funnits en hel del intressanta, coola saker att testa, inklusive StepRunProver-inspirerad Lean4-proofing-miljö med flera svängar som jag har skapat.