proof(actions-lock): Idris2 closure model with the corpus verdicts as equations - #1026

proof(actions-lock): Idris2 closure model with the corpus verdicts as equations#1026

hyperpolymath merged 6 commits into

mainhyperpolymath/hypatia:mainfrom

claude/actions-lock-closure-modelhyperpolymath/hypatia:claude/actions-lock-closure-modelCopy head branch name to clipboard