#Hol4

Showing 1 of 1 repositories tagged #hol4, ranked by stars

A verification toolchain for Rust programs

★ 847 ⑂ 86 +21/day

Related Topics

#compiler #coq #deductive-reasoning #formal-methods #formal-verification #fstar #lean #ocaml #program-verification #proofs #rust #rust-lang