Search results

What is this?

Status: Open.

#228 In rocq-prover/rocq-prover.org;

· SkySkimmer opened on Feb 10, 2026

Popup in front page code snippet are unreadable

Status: Open.

#227 In rocq-prover/rocq-prover.org;

· gares opened on Feb 10, 2026

Pages still using Coq instead of Rocq

Status: Open.

#225 In rocq-prover/rocq-prover.org;

· fblanqui opened on Feb 8, 2026

Link to previous coq workshops are broken

Status: Open.

#207 In rocq-prover/rocq-prover.org;

· CohenCyril opened on Nov 2, 2025

Replace hyperlink of the home buttom of the refman for a link to the Learn tab

Status: Open.

#197 In rocq-prover/rocq-prover.org;

· thomas-lamiaux opened on Jun 30, 2025

Add a link/explanation on how to cite Rocq

Status: Open.

#193 In rocq-prover/rocq-prover.org;

· kyoDralliam opened on Jun 30, 2025

Broken website links

Status: Open.

#188 In rocq-prover/rocq-prover.org;

· RalfJung opened on May 9, 2025

Guidelines for rocq- and coq- packages

Status: Open.

#179 In rocq-prover/rocq-prover.org;

· Zimmi48 opened on Apr 25, 2025

Add complete listing of categories to packages page

enhancementNew feature or requestNew feature or request

packagesAbout the Rocq Opam PackagesAbout the Rocq Opam Packages

Status: Open.

#176 In rocq-prover/rocq-prover.org;

· palmskog opened on Apr 25, 2025

Pages for individual packages do not include licensing information

enhancementNew feature or requestNew feature or request

packagesAbout the Rocq Opam PackagesAbout the Rocq Opam Packages

Status: Open.

#164 In rocq-prover/rocq-prover.org;

· palmskog opened on Apr 20, 2025

Header goes offscreen when browser window is smaller than expected or default font size too large

Status: Open.

#141 In rocq-prover/rocq-prover.org;

· SkySkimmer opened on Mar 28, 2025

Syntax Higlighting Refman and in General

Status: Open.

#126 In rocq-prover/rocq-prover.org;

· thomas-lamiaux opened on Mar 14, 2025