Algebraic arithmetization of boolean algebra and its implementation. - View it on GitHub