Skip to content

feat(StackTape): lemmas for mapSome - #726

Draft
BoltonBailey wants to merge 8 commits into
leanprover:mainfrom
BoltonBailey:stacktape-scan-lemmas
Draft

feat(StackTape): lemmas for mapSome#726
BoltonBailey wants to merge 8 commits into
leanprover:mainfrom
BoltonBailey:stacktape-scan-lemmas

more material

666c661
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Aug 2, 2026 in 6m 45s