Skip to content

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

Open
hyperpolymath wants to merge 5 commits into
mainfrom
claude/actions-lock-closure-model
Open

proof(actions-lock): Idris2 closure model with the corpus verdicts as equations#1026
hyperpolymath wants to merge 5 commits into
mainfrom
claude/actions-lock-closure-model

Commits

  1. Commits on Nov 9, 2026