Skip to content

Fix FIrrelevant conversion in RR#19414

Open
yannl35133 wants to merge 3 commits into
rocq-prover:masterfrom
Yann-Leray:fix-firrelevant-conversion
Open

Fix FIrrelevant conversion in RR#19414
yannl35133 wants to merge 3 commits into
rocq-prover:masterfrom
Yann-Leray:fix-firrelevant-conversion

overlay

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

Annotations

1 warning and 1 notice
Windows
succeeded May 28, 2026 in 43m 4s