BrainCoqulus

A formally verified compiler of untyped lambda calculus to brainfuck

Name		Name	Last commit message	Last commit date
Latest commit History 98 Commits
writeup		writeup
.gitignore		.gitignore
README.md		README.md
bf.py		bf.py
bf.v		bf.v
bfn.v		bfn.v
bftape.v		bftape.v
compilation.md		compilation.md
jsml.v		jsml.v
lambda.v		lambda.v
paren.v		paren.v
parse.v		parse.v
sml.v		sml.v
stack.v		stack.v
utils.v		utils.v

Provide feedback