feat(claims): ground the two PARTIAL honesty claims after verifying the code#91

bdelanghe merged 1 commit into

mainbounded-systems/site:mainfrom

feat/claim-grounding-partialbounded-systems/site:feat/claim-grounding-partialCopy head branch name to clipboard