From a52498ca2212a71059008b44db27c3a21d802063 Mon Sep 17 00:00:00 2001
From: Ralf Anton Beier <ralf_beier@me.com>
Date: Sun, 1 Mar 2026 09:25:49 +0100
Subject: [PATCH] docs: align terminology with WebAssembly ecosystem standards
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Replace "Rocq/Coq" with "Rocq" — Coq was renamed to Rocq, no need to
carry the old name in descriptions.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 5ec1f67..ad4d50e 100644
--- a/README.md
+++ b/README.md
@@ -14,7 +14,7 @@
 
 &nbsp;
 
-Bazel rules for Rocq/Coq theorem proving and Rust formal verification with hermetic toolchain support via [Nix](https://nixos.org/).
+Bazel rules for Rocq theorem proving and Rust formal verification with hermetic toolchain support via [Nix](https://nixos.org/).
 
 > [!NOTE]
 > Part of the PulseEngine toolchain. Powers the mechanized proofs in Meld, Loom, and PulseEngine verification infrastructure.