ethereum-org-website
ethereum-org-website copied to clipboard
Published
20 hours ago •
ethereum
ethereum
Formal verification: rename Coq in Rocq
Description
The tool "Coq" that is cited on this page got renamed to Rocq. I am updating the links as well.
Related Issue
Deploy Preview for ethereumorg failed.
| Name | Link |
|---|---|
| Latest commit | 4834b7e3a39ad7e7712ac6cc627b9c88b4f10caa |
| Latest deploy log | https://app.netlify.com/projects/ethereumorg/deploys/6842b8dda288ef0008b4ebd3 |
![netlify[bot] avatar](https://avatars.githubusercontent.com/in/13473?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue is stale because it has been open 30 days with no activity.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
Congrats, your important contribution to this open-source project has earned you a GitPOAP!
GitPOAP: 2025 Ethereum.org Contributor:
Join the [ethereum.org Discord server](https://ethereum.org/discord) to explore more ways to contribute to the project. Depending on the tasks you complete, you may also unlock additional rewards. Visit [ethereum.org/contributing](https://ethereum.org/contributing) to learn more.
Head to gitpoap.io & connect your GitHub account to mint!Keep buidling, keep learning, and let's grow the Ethereum open-source community together 🌱
Learn more about GitPOAPs here.
![gitpoap-bot[bot] avatar](https://avatars.githubusercontent.com/in/209535?v=4 "Published by a pub.dev verified publisher"){kind=small}
![allcontributors[bot] avatar](https://avatars.githubusercontent.com/in/23186?v=4 "Published by a pub.dev verified publisher"){kind=small}