A verification toolchain for Rust programs
rust
compiler
ocaml
coq
rust-lang
lean
formal-methods
proofs
program-verification
formal-verification
fstar
hol4
deductive-reasoning
-
Updated
Aug 7, 2024 - OCaml
A verification toolchain for Rust programs
Add a description, image, and links to the hol4 topic page so that developers can more easily learn about it.
To associate your repository with the hol4 topic, visit your repo's landing page and select "manage topics."