Verification of Tendermint Light Client by Stevan Ognjanovic as part of MSc thesis at EPFL, 2020 - View it on GitHub
Star
1
Rank
4898865