1 Commits (3e2d5db289b39473389cfad9d2e81a2efef40653)

Author SHA1 Message Date
  Marko b270ab8d15
spec: merge rust-spec (#252) 4 years ago
  Igor Konnov 31cfa53082
The TLA+ specification of the attackers detection (#231) 4 years ago
  Igor Konnov c1ff62fe44
Light client detector spec in TLA+ and refactoring of light client verification TLA+ spec (#216) 4 years ago