mildog8··on I spent 4 months generating proofs for Brainfuck programsAwesome! Thanks so much for that, it really helped me learn