Skip to content

Independently audit encoded-bank crossing and dimension proofs - #2880

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DLamdata:research/dlamdata-session-20261016-0612
Oct 16, 2026
Merged

Independently audit encoded-bank crossing and dimension proofs#2880
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DLamdata:research/dlamdata-session-20261016-0612

Audit encoded-bank crossing and dimension proofs independently

3091cfb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 17, 2026 in 46s