Skip to content

experimental_reals: make psumZ rewrite direction explicit - #2054

Draft
JasonGross wants to merge 1 commit into
math-comp:masterfrom
theorem-labs:codex/rocq-dev-experimental-reals
Draft

experimental_reals: make psumZ rewrite direction explicit#2054
JasonGross wants to merge 1 commit into
math-comp:masterfrom
theorem-labs:codex/rocq-dev-experimental-reals

Fix psumZ rewrite direction for Rocq dev

da0fb74
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
rocq-core
failed Jul 28, 2026 in 4s