🧰 solidity-lean

The items that name it 2

• Solidus: Formally Verifying a Compiler Using Automated Research
  article2026-07-24

  Attempted formal semantics of Solidity 0.8.35, source language for the planned compiler frontend, target of the Spec Hunt challenge

• Formally Verifying a Compiler Using Automated Research (Solidus)
  article

  Paradigm's proposed formal semantics of Solidity 0.8.35, intended as the future source language for Solidus. Paradigm says it likely still has some gaps.

In every workspace you can read 4