This is a tool that helps us experiment with the Ledger State
IOHK Formal Methods Team
[email protected]
Apache-2.0
2022-10-17T00:00:00Z
None