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

Update and add some recent projects I've been involved with.

Open ejgallego opened this issue 1 month ago • 1 comments

ejgallego avatar Nov 05 '25 18:11 ejgallego