I spent 4 months generating proofs for Brainfuck programshttps://github.com/andrewmilson/ministark by mildog8 • 4 years ago 4 3 4 years agoGIgithub.com