Skip to content

Replace Coq by Rocq

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

Replace Coq by Rocq #398

Replace Coq by Rocq
d32fdff
Select commit
Loading
Failed to load commit list.