Skip to content

feat(native): run pivot proofs, opt-out checks and semantic completion through the native session - #1067

Closed
kvlonge wants to merge 3 commits into
mainfrom
feat/native-project-session
Closed

feat(native): run pivot proofs, opt-out checks and semantic completion through the native session#1067
kvlonge wants to merge 3 commits into
mainfrom
feat/native-project-session

Commits

  1. Commits on Oct 9, 2026