From cde6e83217c3372f4d8f74e940dd2e0413a56849 Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Wed, 28 Jan 2026 12:36:37 +0100 Subject: [PATCH] Add rocq-of-solidity to smart contract tools list --- readme.md | 1 + 1 file changed, 1 insertion(+) diff --git a/readme.md b/readme.md index fecec0c..5fe4d05 100644 --- a/readme.md +++ b/readme.md @@ -78,6 +78,7 @@ A curated list of carefully selected Solidity resources, tools, tutorials, and b - [Certora Prover](https://www.certora.com/) - Formal verification for smart contracts - [Diligence Fuzzing](https://consensys.io/diligence/fuzzing/) - Advanced smart contract fuzzing tool - [Olympix Static Analyzer](https://www.olympix.ai/free-static-analyzer) - Free Solidity static analysis tool +- [rocq-of-solidity](https://github.com/formal-land/rocq-of-solidity) - Formal verification for smart contracts with Rocq ## Gas Optimization - [evm.codes](https://www.evm.codes/) - EVM opcode gas reference