Skip to content

lab(drmc): certificate keeps egglog's ProofStore + ProofId, not its rendering; L1 board records - #1742

Merged
AdaWorldAPI merged 3 commits into
mainfrom
lab/drmc-proofstore-certificate-20261023
Oct 23, 2026
Merged

lab(drmc): certificate keeps egglog's ProofStore + ProofId, not its rendering; L1 board records#1742
AdaWorldAPI merged 3 commits into
mainfrom
lab/drmc-proofstore-certificate-20261023

dr-math-binding-probe: correct the stale "no certified DR64 law" comm…

c0802ce
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar