Coq
repo: coq-community/awesome-coq
category: Programming Languages
related: Theoretical Computer Science · 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"
}