/lambda-calc

A deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK

Primary LanguageCoq

Watchers