amarmadukelean-stlc0.1.0

Lean4 mechanization of the simply typed lambda calculus and its metatheory including strong normalization
Sort by
  1. Registry dependency.
    Not found on Reservoir.

    lean-subst8da67cb