G github.com I spent 4 months generating proofs for Brainfuck programs 4 points mildog8 4 years ago 3 comments
