Formal Land 🌲 (@formalland) 's Twitter Profile
Formal Land 🌲

@formalland

Security research by formal verification.

Ethereum, Sui, AlephZero, Tezos

Solidity, Rust, OCaml, zero-knowledge

ID: 1388118293689643008

linkhttps://formal.land/ calendar_today30-04-2021 13:10:01

508 Tweet

1,1K Takipçi

1,1K Takip Edilen

Formal Land 🌲 (@formalland) 's Twitter Profile Photo
Formal Land 🌲
@formalland

2 years ago

We made a blog post formal.land/blog/2024/02/1… on an experiment around the translation of #Haskell programs to #Coq 🐓 for formal verification. We generate untyped and co-inductive expressions. Comments are welcome!