Everything about the simply-typed lambda calculus in Lean
Primary LanguageLean
This repository is not active