diekmann/isabelle-brainfuck

the famous brainfuck language implemented in the famous isabelle theorem prover