@techreport{freek2003d,
	Author = {M. Giero and Freek Wiedijk},
	Date-Added = {2014-11-15 23:23:46 +0000},
	Date-Modified = {2014-11-16 23:26:18 +0000},
	Institution = {University of Nijmegen},
	Number = {NIII-R0333},
	Title = {MMode, a Mizar Mode for the proof assistant Coq},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/mmode/mmode.pdf},
	Year = {2003}}

{"_id":"RGKqgGJ86jRWa8nBB","bibbaseid":"giero-wiedijk-mmodeamizarmodefortheproofassistantcoq-2003","author_short":["Giero, M.","Wiedijk, F."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["M."],"propositions":[],"lastnames":["Giero"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-15 23:23:46 +0000","date-modified":"2014-11-16 23:26:18 +0000","institution":"University of Nijmegen","number":"NIII-R0333","title":"MMode, a Mizar Mode for the proof assistant Coq","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/mmode/mmode.pdf","year":"2003","bibtex":"@techreport{freek2003d,\n\tAuthor = {M. Giero and Freek Wiedijk},\n\tDate-Added = {2014-11-15 23:23:46 +0000},\n\tDate-Modified = {2014-11-16 23:26:18 +0000},\n\tInstitution = {University of Nijmegen},\n\tNumber = {NIII-R0333},\n\tTitle = {MMode, a Mizar Mode for the proof assistant Coq},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/mmode/mmode.pdf},\n\tYear = {2003}}\n\n","author_short":["Giero, M.","Wiedijk, F."],"key":"freek2003d","id":"freek2003d","bibbaseid":"giero-wiedijk-mmodeamizarmodefortheproofassistantcoq-2003","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/mmode/mmode.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["mmode","mizar","mode","proof","assistant","coq","giero","wiedijk"],"title":"MMode, a Mizar Mode for the proof assistant Coq","year":2003}