Skip to content

D5 T=3 DRAT certificates for #1590: release assets, pins and replay script (no new claim) - #2031

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/d5-drat-certificate
Oct 16, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/d5-drat-certificate

D5 T=3 DRAT certificates for research/root-unit-decoder-lemmas: relea…

f5cdf75
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (matrix)
succeeded Oct 15, 2026 in 59s