Skip to content

The language Coq has been renamed into Rocq by its community#4357

Open
Mbodin wants to merge 2 commits into
highlightjs:mainfrom
Mbodin:main
Open

The language Coq has been renamed into Rocq by its community#4357
Mbodin wants to merge 2 commits into
highlightjs:mainfrom
Mbodin:main

Adding the changes into CHANGES.md.

30932e7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs