Skip to content

Latest commit

 

History

History
9 lines (7 loc) · 372 Bytes

README.md

File metadata and controls

9 lines (7 loc) · 372 Bytes

Specification

This directory served as location for English and TLA+ specifications of the Tendermint protocols "fast sync" and "light client". The corresponding specification work is not happening in this directory anymore but in the tendermint/spec repository. The most recent versions of the specifications can be found there.