Formal Land's repositories
coq-of-rust
Check 100% of execution cases of Rust programs π¦ to make applications with no bugs! βοΈ π βοΈ π¦ Formal verification
coq-of-ocaml
Formal verification for OCaml
coq-bonsai
π³ Generate a fresh bonsai in your terminal
coq-of-python
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
coq-of-LLBC
Translate Rust π¦ LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq π
coq-of-hs-experiment
Experiment on translation of Haskell Core to Coq
candy-for-charon
Interface with the rustc compiler for the purpose of program verification
formal.land
Formal Land website
liquid-staking-program
Marinde Anchor-Based, first on mainnet, liquid-staking-program and mSOL->SOL swap pool
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
shared-documentation
Shared documentation for the developments