Kodex'im 12 saattir aralıksız lean proof'ları öğütüyor; Kontrol ettim ve görünüşe göre "Simülasyon Teorisi"nden 1k+ satır oluşturup sonra sildi