{"_id":"PWwmzKfrcvbMwNea7","bibbaseid":"anonymous-calculusofinductiveconstructionscoq891documentation","bibdata":{"bibtype":"misc","type":"misc","title":"Calculus of Inductive Constructions — Coq 8.9.1 documentation","url":"https://coq.inria.fr/refman/language/cic.html","bibtex":"@misc{noauthor_calculus_nodate,\n\ttitle = {Calculus of {Inductive} {Constructions} — {Coq} 8.9.1 documentation},\n\turl = {https://coq.inria.fr/refman/language/cic.html},\n}\n\n","key":"noauthor_calculus_nodate","id":"noauthor_calculus_nodate","bibbaseid":"anonymous-calculusofinductiveconstructionscoq891documentation","role":"","urls":{"Paper":"https://coq.inria.fr/refman/language/cic.html"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["calculus","inductive","constructions","coq","documentation"],"title":"Calculus of Inductive Constructions — Coq 8.9.1 documentation","year":null}