Eddie B. de Lima Filho

ESBMC-Python ajuda a verificar a correção do código Python usando anotações de tipo e verificação de modelo limitada.