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

docs(proofs): keep the receipt's invocation out of the path checker

cfe423d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar