mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-09-20 15:04:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Aligh the correctness arguments with the pseudocode changes

Browse Source
This commit is contained in:
Zarko Milosevic
2020-01-23 14:49:45 +01:00
parent dc542068ae
commit 026fddee4f
9 changed files with 195 additions and 818 deletions
Download Patch File Download Diff File Expand all files Collapse all files
spec/consensus/light-client/detection.md
+3
View File
@@ -0,0 +1,3 @@
# Detection
TODO