8000 Update the type annotations in the light client spec by konnov · Pull Request #955 · cometbft/cometbft · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Update the type annotations in the light client spec#955

Merged
josef-widder merged 4 commits intocometbft:mainfrom
informalsystems:igor/lightclient-apalache-annotations
Jun 13, 2023

Commits

Commits on Jun 12, 2023
0