Filipe Arruda
Doutor em Ciências da Computação e Analista de TI no Instituto Federal de Pernambuco. Usa Python no dia a dia para solucionar quase todo tipo de problema.
Provando matematicamente que seu código não tem bugs
Vamos explorar como conectar provadores de teoremas com Python para conseguir garantir rigorosamente que funções críticas de um projeto são livres de bug (sem precisar testar)!
