Skip to content

Commit e24b1b0

Browse files
williamdemeowilliamdemeo
committed
old version of Ledger PoV
1 parent b50a19c commit e24b1b0

1 file changed

Lines changed: 713 additions & 0 deletions

File tree

  • src/Ledger/Dijkstra/Specification/Ledger/Properties

0 commit comments

Comments
 (0)