Skip to content

feat: sn_eta_steps_inv - #860

Open
lengyijun wants to merge 2 commits into
leanprover:mainfrom
awesome-lambda-calculus:paretac
Open

feat: sn_eta_steps_inv#860
lengyijun wants to merge 2 commits into
leanprover:mainfrom
awesome-lambda-calculus:paretac

paretac

8a5375e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Sep 3, 2026 in 9m 8s