mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-07-22 16:03:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
acb9a7d734eb04dc0a0ee4eb7520e648f911945e
tendermint/rust-spec
T
History
Igor Konnov 31cfa53082 The TLA+ specification of the attackers detection (#231) 
* the working attackers isolation spec, needs more comments

* the TLA+ spec of the attackers isolation
2020-12-11 15:03:48 +01:00
..
fastsync
Fastsync spec from tendermint-rs (#157)
2020-09-10 13:03:50 +02:00
lightclient
The TLA+ specification of the attackers detection (#231)
2020-12-11 15:03:48 +01:00