lean-stlc0.1.0
Lean4 mechanization of the simply typed lambda calculus and its metatheory including strong normalization
Sort by
Require Order
lean-subst
8da67cbLean4 library for substitution inspired by autosubst
lean-stlc0.1.08da67cb