Skip to content

proofs(agda): the wager experiment for coercions and roles (stages 0 and 1) - #87

Merged
hyperpolymath merged 4 commits into
mainfrom
claude/systemet-wager-cubical-agda-nqsiff
Nov 10, 2026
Merged

proofs(agda): the wager experiment for coercions and roles (stages 0 and 1)#87
hyperpolymath merged 4 commits into
mainfrom
claude/systemet-wager-cubical-agda-nqsiff

chore(proofs): wire the Agda gate into the repository

222c3f7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar