I spent 4 months generating proofs for Brainfuck programs 4 years agoAwesome! Thanks so much for that, it really helped me learn 0ThreadHN