Verificação formal de código gerado por IA usando Lean 4
Projeto que aplica provas matemáticas formais para validar código produzido por LLMs. À medida que agentes escrevem mais código em produção, verificação formal pode se tornar camada essencial de qualidade.


