lean-subst0.1.0
Lean4 library for substitution inspired by autosubst
1-1 of 1 packages depending on amarmaduke/lean-subst
Sort by
Package Name
amarmaduke/lean-stlcuses
8da67cbLean4 mechanization of the simply typed lambda calculus and its metatheory including strong normalization