Skip to content

Rename coq -> rocq #1072

Rename coq -> rocq

Rename coq -> rocq #1072

Test 3.4

succeeded Apr 8, 2026 in 1m 25s