Repository navigation

Adapt to https://github.com/rocq-prover/rocq/pull/21478 - #570

Merged

xavierleroy merged 2 commits into

AbsInt:masterfrom

proux01:rocq21478

Jan 27, 2026

Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21478#570
xavierleroy merged 2 commits into
AbsInt:masterfrom
proux01:rocq21478

Commits on Jan 8, 2026
- Adapt to https://github.com/rocq-prover/rocq/pull/21478
  proux01
  committed
  7d8a8a7
Commits on Jan 27, 2026
- Use different, more consistent variable names
  xavierleroy
  committed
  ed6ce4b