Update 10024.programming-language.yml

wyattowalsh · web-flow · commit efb775fc5921 · 2025-07-29T06:30:10.000-04:00
diff --git a/configs/collections/10024.programming-language.yml b/configs/collections/10024.programming-language.yml
@@ -46,7 +46,7 @@ items:
   - ziglang/zig
   - HaxeFoundation/haxe
   - livecode/livecode
-  - coq/coq
+  - rocq-prover/rocq
   - vlang/v
   - dart-lang/sdk
   - pharo-project/pharo
