STLC with de Bruijn in Lean4

Elif Uskuplu