Formal Land @formalland.bsky.social · 19/04/2025Our tool "coq-of-solidity" translates Solidity smart contracts to the formal language Rocq. What does it mean, and why is it important? 🧵 111
Formal Land @formalland.bsky.social · 19/04/2025Solidity is the language used to write smart contracts on Ethereum and compatible blockchains. These are rather short programs (< 5,000 lines) with high security risks. 🥷 Smart contracts handle real money, and a single bug often means the loss of millions of dollars! 💸 100
