Skip to content
Back to pull request #1278

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) #2165

Sign in to view logs

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276)

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) #2165

formal-ledger-agda

formal-ledger-agda
succeeded Sep 9, 2026 in 32m 46s