formal-land/coq-of-LLBC

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

语言：OCaml · GitHub 星标：5 · Fork：1

话题：coq · rust

在 GitHub 上查看原仓库