Skip to content

[Dijkstra] LEDGER-pov: complete the proof — gov re-derivation; Certs/Utxo/Utxow facts as parameters#1223

Merged
williamdemeo merged 9 commits into
1187-dijkstra-NEW-ENTITIES-ledger-povfrom
claude/gifted-bardeen-iiix4j
Jun 25, 2026
Merged

[Dijkstra] LEDGER-pov: complete the proof — gov re-derivation; Certs/Utxo/Utxow facts as parameters#1223
williamdemeo merged 9 commits into
1187-dijkstra-NEW-ENTITIES-ledger-povfrom
claude/gifted-bardeen-iiix4j

LEDGER-pov: refresh status notes for the completed proof; drop unused…

6225a95
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar