Skip to main content

Crate decy_book

Crate decy_book 

Source
Expand description

Book-based verification for transpiled Rust code.

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