Skip to content

fix(census): count Ada as SPARK only when it opts in; catalogue the template's own proofs; rerun the census - #44

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

fix(census): count Ada as SPARK only when it opts in; catalogue the template's own proofs; rerun the census#44
hyperpolymath wants to merge 3 commits into
mainfrom
claude/lucid-hopper-wvkv5e

chore(docs): regenerate REPOSITORY-MAP.adoc (stale on main)

41dc551
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar