Formal Land 🌲
@formalland
Security research by formal verification.
Ethereum, Sui, AlephZero, Tezos
Solidity, Rust, OCaml, zero-knowledge
ID: 1388118293689643008
https://formal.land/ 30-04-2021 13:10:01
508 Tweet
1,1K Takipçi
1,1K Takip Edilen
@formalland
Security research by formal verification.
Ethereum, Sui, AlephZero, Tezos
Solidity, Rust, OCaml, zero-knowledge
ID: 1388118293689643008
https://formal.land/ 30-04-2021 13:10:01
508 Tweet
1,1K Takipçi
1,1K Takip Edilen
