Specification and verification of IBC protocols

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).