Skip to content

syntactic fix

9ecf044
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Adapt to rocq#21180 #907

syntactic fix
9ecf044
Select commit
Loading
Failed to load commit list.
rocq-elpi
succeeded Oct 17, 2025 in 47s