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

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

mainhyperpolymath/mathesis:mainfrom

claude/lucid-hopper-wvkv5ehyperpolymath/mathesis:claude/lucid-hopper-wvkv5eCopy head branch name to clipboard