Skip to content

skills: decompose prove-it into a principle plus four evidence products - #302

Merged
EdbertChan merged 1 commit into
mainfrom
prove-it-decompose
Sep 9, 2026
Merged

skills: decompose prove-it into a principle plus four evidence products#302
EdbertChan merged 1 commit into
mainfrom
prove-it-decompose

Commits

Commits on Sep 9, 2026