Skip to content

Files

Failed to load latest commit information.

Latest commit

 Cannot retrieve latest commit at this time.

History

History
 
 

spec

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

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.