---
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"
}
