compiler.lean

Lean ★ 29 updated 5y ago

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

No plain-English explanation yet — one is being written right now. Check back in a minute.