This is a companion user guide to the machine-check project, to be built using mdBook. The latest version is hosted at https://book.machine-check.org/latest/.
Licensed under either of Apache License, Version 2.0 or MIT license at your option. Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.