Můj Codex už 12 hodin v kuse grinduje lean proofy; Zkontroloval jsem to a zřejmě to vytvořilo a pak smazalo 1 000+ řádků "Teorie simulace".