Skip to content

Full support for Rocq 9.2#587

Merged
xavierleroy merged 10 commits into
masterfrom
rocq-9.2
Jul 21, 2026
Merged

Full support for Rocq 9.2#587
xavierleroy merged 10 commits into
masterfrom
rocq-9.2

Notations `#1` and `#2` (for `fst` and `snd`) moved to Coqlib

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

Annotations

2 warnings
macos
succeeded Jul 21, 2026 in 7m 5s