{"_id":"zhcKLXqsHBPPxxdFy","bibbaseid":"carette-editors-programminglanguagesformechanizedmathematicsworkshopinformalproceedings-2007","author_short":["Carette, J.","(editors), F. W."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["J."],"propositions":[],"lastnames":["Carette"],"suffixes":[]},{"firstnames":["Freek","Wiedijk"],"propositions":[],"lastnames":["(editors)"],"suffixes":[]}],"date-added":"2014-11-16 22:20:29 +0000","date-modified":"2014-11-16 22:22:28 +0000","institution":"RISC-Linz","keywords":"Edited","number":"07-10","title":"Programming Languages for Mechanized Mathematics Workshop, Informal Proceedings","year":"2007","bibtex":"@techreport{freek2007d,\n\tAuthor = {J. Carette and Freek Wiedijk (editors)},\n\tDate-Added = {2014-11-16 22:20:29 +0000},\n\tDate-Modified = {2014-11-16 22:22:28 +0000},\n\tInstitution = {RISC-Linz},\n\tKeywords = {Edited},\n\tNumber = {07-10},\n\tTitle = {Programming Languages for Mechanized Mathematics Workshop, Informal Proceedings},\n\tYear = {2007}}\n\n","author_short":["Carette, J.","(editors), F. W."],"key":"freek2007d","id":"freek2007d","bibbaseid":"carette-editors-programminglanguagesformechanizedmathematicsworkshopinformalproceedings-2007","role":"author","urls":{},"keyword":["Edited"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":["edited"],"search_terms":["programming","languages","mechanized","mathematics","workshop","informal","proceedings","carette","(editors)"],"title":"Programming Languages for Mechanized Mathematics Workshop, Informal Proceedings","year":2007}