Verifying Rust
==============

TODO

Rust Support Libraries
----------------------


Documentation for the `crucible create <rust-doc/crucible/index.html>`__.