Skip to content

feat(lstar): sync model with upstream typed-rejection fixes (leanSpec #1177-#1181) - #42

Merged
adust09 merged 3 commits into
mainfrom
feat/sync-upstream-typed-rejections
Jul 5, 2026
Merged

feat(lstar): sync model with upstream typed-rejection fixes (leanSpec #1177-#1181)#42
adust09 merged 3 commits into
mainfrom
feat/sync-upstream-typed-rejections

docs(cont): note slot-only selection in advanceTo

5cff070
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar