spec: merge rust-spec (cometbft#252)

neutron-org · Mar 1, 2021 · b270ab8 · b270ab8
1 parent 227e526
commit b270ab8
Show file tree

Hide file tree

Showing 84 changed files with 359 additions and 427 deletions.
diff --git a/rust-spec/lightclient/README.md b/rust-spec/lightclient/README.md
diff --git a/rust-spec/lightclient/verification/verification.md b/rust-spec/lightclient/verification/verification.md