AeneasVerif/aeneas

A verification toolchain for Rust programs

语言：OCaml · GitHub 星标：1,136 · Fork：141

话题：compiler · coq · deductive-reasoning · formal-methods · formal-verification · fstar · hol4 · lean

在 GitHub 上查看原仓库