🧰 solidity-lean

The items that name it 2

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

  Repository containing an attempted formal semantics of Solidity 0.8.35, serving as the source language specification for the planned compiler frontend

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

  Candidate formal semantics for Solidity 0.8.35, used as the reference in the Spec Hunt.

In every workspace you can read 4