Tag
7 repositories
TLA+ specification for Succinct Atomic Swap smart contract
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
๐ WIP Hop Protocol TLA+ Specification
Formal models of vac protocols
TLA+ specification of the parser for BIP32 path templates
tla++ proofs and verifications
Interactive node simulator for TLA+ specification of Tezos p2p
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.