https://github.com/tendermint/tendermint
History
Tip revision: cbc7a1abcfe871cc0122ee89b841b3803f9478a9 authored by Thane Thomson on 12 August 2022, 18:33:47 UTC
spec: Sync Light Client TLA+ code with `master` (#9238)
Tip revision: cbc7a1a
File Mode Size
tendermint
README.md -rw-r--r-- 1.9 KB
buf.lock -rw-r--r-- 159 bytes
buf.yaml -rw-r--r-- 143 bytes

README.md

back to top