Skip to content

Merge pull request #2370 from proux01/rocq22124 #4197

Merge pull request #2370 from proux01/rocq22124

Merge pull request #2370 from proux01/rocq22124 #4197

Annotations

1 warning

coqchk (dev)

succeeded Jun 16, 2026 in 1m 57s