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

README.md

back to top