Nowy post na naszym blogu! Przechodzimy przez pełną implementację Algorytmu 6 w Rust z artykułu BDDT, łącząc optymalizacje SVO i Eq-Poly w jeden działający dowód.