formal-land / coq-of-LLBC

Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓

https://formal.land/docs/verification/rust

Geek Repo

Github PK Tool