@Article{Bertot2006,
author = {Bertot, Y}, 
title = {Coq in a Hurry}, 
journal = {Arxiv preprint cs/0603118}, 
volume = {}, 
number = {}, 
pages = {}, 
year = {2006}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"CHTSyBByrqgd3vxLS","bibbaseid":"bertot-coqinahurry-2006","authorIDs":[],"author_short":["Bertot, Y"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bertot"],"firstnames":["Y"],"suffixes":[]}],"title":"Coq in a Hurry","journal":"Arxiv preprint cs/0603118","volume":"","number":"","pages":"","year":"2006","abstract":"","location":"","keywords":"","bibtex":"@Article{Bertot2006,\nauthor = {Bertot, Y}, \ntitle = {Coq in a Hurry}, \njournal = {Arxiv preprint cs/0603118}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {2006}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Bertot, Y"],"key":"Bertot2006","id":"Bertot2006","bibbaseid":"bertot-coqinahurry-2006","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.647Z","downloads":0,"keywords":[],"search_terms":["coq","hurry","bertot"],"title":"Coq in a Hurry","year":2006,"dataSources":["hEoKh4ygEAWbAZ5iy"]}