Skip to content

feat(preservation): certificate B as kernel-term data (SP-16) - #163

Merged
159 commits merged into
mainfrom
claude/issue-89-certificate-b
Oct 18, 2026
Merged

feat(preservation): certificate B as kernel-term data (SP-16)#163
159 commits merged into
mainfrom
claude/issue-89-certificate-b

feat(preservation): no Lean source text template remains in the produ…

b01a9e0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar