BrainCoqulus icon indicating copy to clipboard operation
BrainCoqulus copied to clipboard

verified publisher icon tlively
→

Metadata

A formally verified compiler of untyped lambda calculus to brainfuck

BrainCoqulus

A formally verified compiler of untyped lambda calculus to brainfuck

← Metadata

7
Stars
2
Forks
Watchers

Owner

verified publisher icon tlively

Metadata

A formally verified compiler of untyped lambda calculus to brainfuck

Back