I spent 4 months generating proofs for Brainfuck programsgithub.com/andrewmilson4 pointsmildog84 years ago