1 Commits (07335321bd12b25511b305eb8d3b0a052375e61e)

Author SHA1 Message Date
  Marko b270ab8d15
spec: merge rust-spec (#252) 4 years ago
  Josef Widder 8391fa0b89
TLA+ specs from MBT revision (#173) 4 years ago
  Josef Widder b74b1c2b68
Current versions of light client specs from tendermint-rs (#158) 4 years ago