Skip to content

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

Merged
hyperpolymath merged 6 commits into
mainfrom
claude/actions-lock-closure-model
Nov 10, 2026
Merged

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

Merge origin/main into the actions-lock closure model branch (#1026)

40d3d3a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar