GitHub repository: F4NT0/Metodos_Formais
Primary language: Dafny
Description: Repositório de projetos de métodos formais (validar um código usando lógica formal)