tendermint

291 MiB

Tree: 6bd5263515

Author	SHA1	Message	Date
Marko	b270ab8d15	spec: merge rust-spec (#252 )	4 years ago
Marko	fc569173a1	layout: add section titles (#240 )	4 years ago
Marko	d8a2c8f6f1	spec: remove evidences (#153 )	4 years ago
Marko	1075f77cc3	spec: extract light-client to its own directory (#152 ) Co-authored-by: Callum Waters <cmwaters19@gmail.com>	4 years ago
Marko	efbbc9462f	ci: add markdown linter (#146 )	4 years ago
Zarko Milosevic	026fddee4f	Aligh the correctness arguments with the pseudocode changes	5 years ago
Ethan Buchman	c35d6e706f	update readme	5 years ago
Ethan Buchman	035838901e	add diagram	5 years ago
Ethan Buchman	eb9e1f961c	titles	5 years ago
Ethan Buchman	f26eb4ee89	light client dir and readmes	5 years ago