The following pages link to Brainfuck derivatives with nontrivial computational class proofs:
Displayed 1 item.