Search results

Please pick the version you prefer for Rocq 9.1 in Rocq Platform 2026.05

Status: Open.

#29 In rocq-community/reduction-effects;

· Justme0606 opened on May 6, 2026

Move to coq main line / relicensing

Status: Open.

#24 In rocq-community/reduction-effects;

· MSoegtropIMC opened on Oct 30, 2024

_UNBOUND_REL_i

Status: Open.

#23 In rocq-community/reduction-effects;

· yforster opened on Jul 27, 2024

Support for timing effects

Status: Open.

#18 In rocq-community/reduction-effects;

· JasonGross opened on Aug 14, 2023

Printing Effects should support vm_compute and native_compute

enhancement

help wanted

Status: Open.

#8 In rocq-community/reduction-effects;

· JasonGross opened on Apr 1, 2020