From 2494bd27a0ba984c51dd43af591be46e2f7a24a6 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Tue, 21 Jul 2026 20:08:56 +0200 Subject: [PATCH] fix(readme): replace flat "Formally Verified" badge with a Rocq badge The repo carries no mechanized proofs about its own rules (only an example proof in examples/rust_to_rocq/point_proofs.v), so the flat green badge overstated the repo's verification status. Closes #36 Co-Authored-By: Claude Sonnet 5 Claude-Session: https://claude.ai/code/session_011MptgyfLZuHYCbfpq1zDey --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6f71ae3..dc79eae 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@   ![Bazel](https://img.shields.io/badge/Bazel-43A047?style=flat-square&logo=bazel&logoColor=white&labelColor=1a1b27) -![Formally Verified](https://img.shields.io/badge/Formally_Verified-00C853?style=flat-square&logoColor=white&labelColor=1a1b27) +![Rocq](https://img.shields.io/badge/Rocq-9.0-A44E9C?style=flat-square&labelColor=1a1b27) ![License: Apache-2.0](https://img.shields.io/badge/License-Apache--2.0-blue?style=flat-square&labelColor=1a1b27)