Solidus
Named by 2 kept items in this workspace.
Search every workspace for Solidus. It matches the name as written, so it can find other things that share it.
The items that name it 2
Planned formally verified compiler from Solidity to the EVM, implemented in Lean; currently includes a fully verified Yul-to-EVM backend and a proposed Solidity semantics
Pre-alpha Paradigm project in Lean to build a formally verified Solidity-to-EVM compiler; only the Yul-to-EVM backend exists.
All technologies in this workspace.