Nova postagem no nosso blog! Passamos por uma implementação completa do Rust do Algoritmo 6 do artigo BDDT, combinando otimizações SVO e Eq-Poly em um único provador funcional.