Post #872111

Codex and GPT 5.3-codex are blowing my mind... accelerating proof development and refactoring in Agda for programming language metatheory. Lots of grunt work is becoming automatic, but regular guidance is still needed.