Formal Land

icon indicating a website link https://formal.land/ icon indicating an email [email protected]

icon location Formal Verification for Web3

Results 3 repositories owned by Formal Land

coq-of-ocaml

242
Stars
18
Forks
Watchers

Formal verification for OCaml

verified publisher icon formal-land

coq-bonsai

24
Stars
0
Forks
Watchers

🌳 Generate a fresh bonsai in your terminal

verified publisher icon formal-land

coq-of-rust

317
Stars
6
Forks
Watchers

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

verified publisher icon formal-land