Publisher

Paradigm

Verified publisher

Browse verified repositories and skills published by Paradigm.

repositories

skills

Jul 26

updated

Repositories from Paradigm

Pick a repository to browse the skills Paradigm ships from it.

1 repository

paradigmxyz/solidus

Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.

CodexEngineeringMathematics

1skill 22