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