akuhlens/lemur

A study on formalizing imperative programming languages.

Lean