Skip to content

Add corner-cases/nested-redex-aux and other/vanishing-occurrence - #319

Closed
jasisz wants to merge 3 commits into
leanprover:masterfrom
jasisz:pestycyd-nested-redex-aux
Closed

Add corner-cases/nested-redex-aux and other/vanishing-occurrence#319
jasisz wants to merge 3 commits into
leanprover:masterfrom
jasisz:pestycyd-nested-redex-aux

Move nested-redex-aux to corner-cases with outcome either

52f95f3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Select checkers and tests
succeeded Nov 1, 2026 in 1m 8s