Skip to content

feat(untyped): the Leftmost Reduction Theorem - #700

Open
m-ow wants to merge 23 commits into
leanprover:mainfrom
m-ow:leftmost-reduction
Open

feat(untyped): the Leftmost Reduction Theorem#700
m-ow wants to merge 23 commits into
leanprover:mainfrom
m-ow:leftmost-reduction

follow Copes: single-index StandardSeq

585ac71
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Jul 20, 2026 in 6m 27s