Skip to content

backward-compatibly rename coq items to rocq

bbc1b4c
Select commit
Loading
Failed to load commit list.
Open

backward-compatibly rename coq items to rocq #133

backward-compatibly rename coq items to rocq
bbc1b4c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs