See the repo root for build status, license, rust version, etc.
The verification component of the Light Client. This is extracted in order to
be able to make use of verification predicates without any of the I/O and
dependencies on the Rust standard library (i.e. to facilitate no_std support).
See documentation on crates.io.