Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
PaymentChannel.toolbox/Model_1
Initial commit
September 25, 2021 15:03
visualization
Add example for visualization
March 8, 2022 10:39
HTLCUser.tla
Initial commit
September 25, 2021 15:03
Ledger.tla
Initial commit
September 25, 2021 15:03
PaymentChannel.tla
Format specification
September 27, 2021 15:53
PaymentChannelUser.tla
Format specification
September 27, 2021 15:53
Readme.md
Format specification
September 27, 2021 15:53
TransactionIdOracle.tla
Initial commit
September 25, 2021 15:03