Programming language foundations in Lean
Primary LanguageLeanMIT LicenseMIT
No issues in this repository yet.