{"_id":"rjPSCwgMuyAhF8kaf","bibbaseid":"coq-thecoqproofassistant","authorIDs":[],"author_short":["Coq"],"bibdata":{"bibtype":"book","type":"book","title":"The Coq Proof Assistant","url":"https://coq.inria.fr/","author":[{"firstnames":[],"propositions":[],"lastnames":["Coq"],"suffixes":[]}],"bibtex":"@book{coq_coq_nodate,\n\ttitle = {The {Coq} {Proof} {Assistant}},\n\turl = {https://coq.inria.fr/},\n\tauthor = {{Coq}}\n}\n\n","author_short":["Coq"],"key":"coq_coq_nodate","id":"coq_coq_nodate","bibbaseid":"coq-thecoqproofassistant","role":"author","urls":{"Paper":"https://coq.inria.fr/"},"downloads":0},"bibtype":"book","biburl":"https://bibbase.org/zotero/romain_jacob","creationDate":"2020-03-11T17:05:50.370Z","downloads":0,"keywords":[],"search_terms":["coq","proof","assistant","coq"],"title":"The Coq Proof Assistant","year":null,"dataSources":["GSdyza34Yogv8tQFT"]}