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.