proofs(agda): the wager experiment, stages 5 to 7 (T6, T7, the cross-check) and the final verdict - #89

proofs(agda): the wager experiment, stages 5 to 7 (T6, T7, the cross-check) and the final verdict#89

hyperpolymath merged 11 commits into

mainhyperpolymath/system-et:mainfrom

claude/systemet-wager-cubical-agda-nqsiffhyperpolymath/system-et:claude/systemet-wager-cubical-agda-nqsiffCopy head branch name to clipboard