Novo post no nosso blog! Fazemos uma análise completa de uma implementação em Rust do Algoritmo 6 do artigo BDDT, combinando otimizações SVO e Eq-Poly em um único provador funcional.