{"id":32016198,"url":"https://github.com/coq-community/awesome-coq","last_synced_at":"2025-10-16T00:02:02.864Z","repository":null,"keywords":[],"created_at":"2025-10-16T00:00:59.936Z","updated_at":"2025-10-16T00:00:59.936Z","avatar_url":null,"language":null,"funding_links":[],"categories":["Uncategorized","Programming Languages","Live Site:   [searchAwesome](https://search-awesome.vercel.app/)","Others","Themed Directories"],"sub_categories":["Uncategorized","Unknown"],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoq-community%2Fawesome-coq","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcoq-community%2Fawesome-coq","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoq-community%2Fawesome-coq/lists"}