This website requires JavaScript.
Explore
Help
Sign In
mirrors
/
tendermint
Watch
1
Star
0
Fork
0
You've already forked tendermint
mirror of
https://github.com/tendermint/tendermint.git
synced
2026-07-21 07:22:20 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
871d0514cd284cee76d286935d9f8e99ebd9dcd8
tendermint
/
rust-spec
T
History
Igor Konnov
c1ff62fe44
Light client detector spec in TLA+ and refactoring of light client verification TLA+ spec (
#216
)
...
Add light client detector spec in TLA+
2020-11-09 11:08:33 +01:00
..
fastsync
Fastsync spec from tendermint-rs (
#157
)
2020-09-10 13:03:50 +02:00
lightclient
Light client detector spec in TLA+ and refactoring of light client verification TLA+ spec (
#216
)
2020-11-09 11:08:33 +01:00
Igor Konnov