- tla comprises TLA+ specification for the IBC specification.
- relayer contains English specification of the relayer.
- connection-handshake [Deprecated] contains English and TLA+ specifications for the IBC Connection Handshake Protocol (ICS 003).
spec
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
parent directory.. | ||||