docs: align terminology with WebAssembly ecosystem standards

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>

Author: avrabe

README.md

@@ -14,7 +14,7 @@
 
  
 
-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.