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-07-24 09:02:43 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
c5576dfa6900152179987cd332f9664c996443a6
tendermint
/
rust-spec
T
History
Josef Widder
and
GitHub
8391fa0b89
TLA+ specs from MBT revision (
#173
)
2020-10-01 11:31:53 +02:00
..
fastsync
Fastsync spec from tendermint-rs (
#157
)
2020-09-10 13:03:50 +02:00
lightclient
TLA+ specs from MBT revision (
#173
)
2020-10-01 11:31:53 +02:00
