Programming language foundations in Lean
Primary LanguageLeanMIT LicenseMIT
No one’s star this repository yet.