Brainfuck

Brainfuck formalized in Coq

GitHub

27 stars
5 watching
2 forks
Language: Coq
last commit: over 2 years ago