Rare find

compiler.lean. A formally verified compiler for a simple language with numbers and sums

github.com/jdan/compiler.lean

Problem

Audience

Updates

No founder updates yet. Check back soon.