Skip to content

feat: Add BetaAt uniqueness, FV preservation, and left redex-count bound - #800

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:leftmost
Open

feat: Add BetaAt uniqueness, FV preservation, and left redex-count bound#800
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:leftmost

Commits

  1. Commits on Oct 17, 2026