Dmitry Petukhov
Results
2
repositories owned by
Dmitry Petukhov
SASwap_TLAplus_spec
25
Stars
4
Forks
Watchers
TLA+ specification for Succinct Atomic Swap smart contract
