WARNING: This repository contains experimental specifications (see develop branch) that are not maintained anymore. They do not represent authoritative specification or verification of anything.
TLA+ specifications of Tendermint Protocols are maintained in the tendermint-rs repository. TLA+ specifications of the IBC protocols are maintained in the ibc-rs repository.