lean-stlc0.1.0
Lean4 mechanization of the simply typed lambda calculus and its metatheory including strong normalization
Sort by
Require Order
lean-subst
1001e7dLean4 library for substitution inspired by autosubst
lean-stlc0.1.01001e7d