mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-01-07 05:46:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

update docs links & sidebar (#2541)

Browse Source 
* docs: fix links

* docs: add readme from each section to the sidebar
This commit is contained in:
Zach
2018-10-04 17:22:41 -04:00
committed by Ethan Buchman
parent 12675ecd92
commit 303649818c
8 changed files with 22 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/spec/consensus/consensus.md
View File

@@ -241,7 +241,7 @@ commit-set) are each justified in the JSet with no duplicitous vote
signatures (by the committers).
- **Lemma**: When a fork is detected by the existence of two
conflicting [commits](./validators.html#commiting-a-block), the
conflicting [commits](../blockchain/blockchain.md#commit), the
union of the JSets for both commits (if they can be compiled) must
include double-signing by at least 1/3+ of the validator set.
**Proof**: The commit cannot be at the same round, because that