awesome-coq icon indicating copy to clipboard operation
awesome-coq copied to clipboard
verified publisher icon coq-community

Rename repository

Open ejgallego opened this issue 1 month ago • 0 comments

Hi folks, would it make sense to rename the repos to awesome-rocq ?

ejgallego avatar Nov 05 '25 18:11 ejgallego