Stlc theory#454

Open

jake-87 wants to merge 25 commits intothe1lab:mainfrom

jake-87:stlc-theory

Commits on Jan 9, 2025

Move args to implicits; start on debru/extrinsic
jake-87
committed

Commits on Jan 11, 2025

Commits on Mar 22, 2025

Commits on Mar 23, 2025

Worked on alpha-equivalence in named STLC
jake-87
committed

Commits on Mar 25, 2025

Commits on Jun 3, 2025

Merge branch 'main' of https://github.com/the1lab/1lab into stlc-theory
jake-87
committed

Commits on Jun 4, 2025

Substitution for de bruijn extrinsic
jake-87
committed

Commits on Jun 5, 2025

finished extrinsic & intrinsic (some details needed)
jake-87
committed

Commits on Jun 12, 2025

Commits on Jul 3, 2025

Apply Reed's suggestions

jake-87
and
TOTBWF
authored

Commits on Aug 23, 2025

Commits on Aug 24, 2025

Commits on Aug 25, 2025

Fix builds & formatting
jake-87
committed

Commits on Sep 1, 2025