Block or Report
Block or report leonardoalt
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
ethereum_formal_verification_overview
ethereum_formal_verification_overview PublicOverview of the formal verification projects in the Ethereum ecosystem.
-
powdr-labs/powdr
powdr-labs/powdr PublicA modular stack for zkVMs, with a focus on productivity, security and performance.
-
dl_symb_exec_sol
dl_symb_exec_sol PublicSymbolic execution engine written in Solidity, based on Difference Logic.
-
OptimizorClub/optimizor
OptimizorClub/optimizor PublicOptimizor Club Gas Golfing and NFT Collection
Solidity 15
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.