[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@harrisonqian / Awesome / wiki/programming-languages/coq.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- visibility: public --- # Coq **repo:** [coq-community/awesome-coq](https://github.com/coq-community/awesome-coq) **category:** [[programming-languages|Programming Languages]] **related:** [[theoretical-computer-science|Theoretical Computer Science]] · [[haskell|Haskell]] --- { "message": "Moved Permanently", "url": "https://api.github.com/repositories/232886823/readme", "documentation_url": "https://docs.github.com/rest/guides/best-practices-for-using-the-rest-api#follow-redirects" }