This website requires JavaScript.
Explore
Help
Sign In
mirrors
/
tendermint
Watch
1
Star
0
Fork
0
mirror of
https://github.com/tendermint/tendermint.git
synced
2026-09-02 14:17:05 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
d45389e2b01439c34be32d0356a2247e12de8a6c
tendermint
/
spec
/
consensus
/
light-client
/
detection.md
T
Zarko Milosevic
026fddee4f
Aligh the correctness arguments with the pseudocode changes
2020-01-23 14:49:45 +01:00
18 B
Raw
Blame
History
Detection
TODO
Reference in New Issue
View Git Blame
Copy Permalink
