Skip to content
Back to pull request #1223

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

Sign in to view logs

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

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

delete-artifacts-branch

delete-artifacts-branch
succeeded Jun 25, 2026 in 48s