co-shag

Определение

Итеративный процесс генерации кода с формальной верификацией: генерация, проверка спецификаций (Dafny/Lean) и исправление ошибок.