Skip to content

feat(specs): add a [-proof-manifest] flag, emit a .json - #8

Open
clementblaudeau wants to merge 23 commits into
automatic-theorem-dev-rebasedfrom
export-list-of-obligations
Open

feat(specs): add a [-proof-manifest] flag, emit a .json#8
clementblaudeau wants to merge 23 commits into
automatic-theorem-dev-rebasedfrom
export-list-of-obligations

feat(specs): add a [-proof-manifest] flag, emit a .json

af6348e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
userdocs
succeeded Jun 16, 2026 in 11s