Search results

Regression: Importing ZArith leads to setoid_rewrite performance degradation

Status: Open.

#200 In rocq-prover/stdlib;

· Janno opened on Jul 23, 2025

same html title for all files (stdlib doc)

Status: Open.

#195 In rocq-prover/stdlib;

· SkySkimmer opened on Jul 17, 2025

Github CI anomaly zoo

Status: Open.

#168 In rocq-prover/stdlib;

· andres-erbsen opened on Jun 7, 2025

Design: connecting booleans to their meaning

Status: Open.

#165 In rocq-prover/stdlib;

· andres-erbsen opened on Jun 5, 2025

GitHub CI queuing

Status: Open.

#153 In rocq-prover/stdlib;

· andres-erbsen opened on May 31, 2025

Require status checks to pass before merging (for auto-merge, no policy change)

Status: Open.

#148 In rocq-prover/stdlib;

· andres-erbsen opened on May 13, 2025

CI: is there a way to see CI-built HTML documentation for an unmerged PR?

Status: Open.

#145 In rocq-prover/stdlib;

· andres-erbsen opened on May 10, 2025

CI jobs should explicitly set the <code>name</code> field

Status: Open.

#142 In rocq-prover/stdlib;

· JasonGross opened on May 6, 2025

"Cachix setup coq" failed on CI

Status: Open.

#140 In rocq-prover/stdlib;

· andres-erbsen opened on May 4, 2025

<code>NoDup_dec</code> definition is opaque

Status: Open.

#125 In rocq-prover/stdlib;

· olympichek opened on Mar 31, 2025

What is the merging policy for stdlib? (contributing.md is nonsense)

Status: Open.

#116 In rocq-prover/stdlib;

· SkySkimmer opened on Mar 3, 2025

Keep All.v in topological order

Status: Open.

#106 In rocq-prover/stdlib;

· proux01 opened on Feb 12, 2025