Formal Land

Results 3 repositories owned by Formal Land

coq-of-ocaml

242
Stars
18
Forks
Watchers

Formal verification for OCaml

coq-bonsai

24
Stars
0
Forks
Watchers

🌳 Generate a fresh bonsai in your terminal

coq-of-rust

317
Stars
6
Forks
Watchers

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification