Binary Proofs, Blazing Fast - View it on GitHub