Search results

opam install instructions need updating

Status: Open.

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

· SkySkimmer opened on Jul 25, 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 links on the Rocq platform page

Status: Open.

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

· MevenBertrand opened on May 13, 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

Stdlib theories diagram has links that go nowhere

Status: Open.

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

· SkySkimmer opened on Mar 12, 2025

[RFC] Zulip channel/stream links for each Rocq team?

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

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

· mattam82 opened on Jan 9, 2025