Skip to content

proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation) - #88

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

proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)#88
hyperpolymath merged 16 commits into
mainfrom
claude/systemet-wager-cubical-agda-nqsiff

docs(wager): audit of the experiment records against the Agda proofs

9dd18fe
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar