decy-book 1.0.2

Book-based verification for transpiled Rust code
Documentation

Book-based verification for transpiled Rust code.

Uses mdBook to verify transpilation by compiling generated Rust and ensuring it passes lint.