{"id":177,"slug":"coq","name":"Coq","short_description":"Coq is a formal proof management system.","url":"https://github.com/topics/coq","github_count":726,"created_by":"Gérard Pierre Huet, Thierry Coquand","logo_url":"https://explore-feed.github.com/topics/coq/coq.png","released":"1989","wikipedia_url":"https://en.wikipedia.org/wiki/Coq","related_topics":[],"aliases":[],"github_url":"https://github.com/coq/coq","content":"\u003cp\u003eCoq is a formal proof management system. It provides a formal language to write\nmathematical definitions, executable algorithms and theorems together with an\nenvironment for semi-interactive development of machine-checked proofs. Typical\napplications include the certification of properties of programming languages,\nthe formalization of mathematics and teaching.\u003c/p\u003e\n","created_at":"2024-07-29T13:35:24.290Z","updated_at":"2026-08-19T00:07:05.335Z","topic_url":"https://awesome.ecosyste.ms/api/v1/topics/coq","html_url":"https://awesome.ecosyste.ms/topics/coq","projects_url":"https://awesome.ecosyste.ms/api/v1/projects?keyword=coq","lists_url":"https://awesome.ecosyste.ms/api/v1/lists?topic=coq"}