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