Skip to content

fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed - #74

Open
hyperpolymath wants to merge 3 commits into
mainfrom
claude/lucid-hopper-wvkv5e
Open

fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed#74
hyperpolymath wants to merge 3 commits into
mainfrom
claude/lucid-hopper-wvkv5e

docs(proofs): document comment stripping and bounded natural number d…

94c6a5b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar