Verificação Formal de Modelos de ML em Lean 4

O projeto `formal_verif_ml` fornece uma estrutura Lean 4 para verificação formal de propriedades (robusto, imparcialidade, interpretabilidade) de modelos de aprendizado de máquina. Inclui uma biblioteca Lean, tradutor de modelos, interface web e pipeline CI/CD, suportando vários tipos de modelos. Um portal web interativo permite que os usuários carreguem modelos, vejam o código Lean gerado, acionem a compilação de provas e visualizem a arquitetura do modelo.