Skip to content

Commit cf1eeab

Browse files
williamdemeowilliamdemeo
committed
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187)
1 parent ca99121 commit cf1eeab

2 files changed

Lines changed: 674 additions & 0 deletions

File tree

‎src/Ledger/Dijkstra/Specification/Ledger/Properties.lagda.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,4 +14,5 @@ module Ledger.Dijkstra.Specification.Ledger.Properties where
1414

1515
```agda
1616
open import Ledger.Dijkstra.Specification.Ledger.Properties.Computational
17+
open import Ledger.Dijkstra.Specification.Ledger.Properties.PoV
1718
```

0 commit comments

Comments
 (0)