@article{freek2008e,
	Author = {Freek Wiedijk},
	Date-Added = {2014-11-16 22:38:20 +0000},
	Date-Modified = {2014-11-16 22:40:11 +0000},
	Journal = {Notices of the American Mathematical Society},
	Number = {11},
	Pages = {1408--1414},
	Title = {Formal proof--getting started},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/notices.pdf},
	Volume = {55},
	Year = {2008}}

{"_id":"r5vnPCZZLjbFCPPgN","bibbaseid":"wiedijk-formalproofgettingstarted-2008","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 22:38:20 +0000","date-modified":"2014-11-16 22:40:11 +0000","journal":"Notices of the American Mathematical Society","number":"11","pages":"1408–1414","title":"Formal proof–getting started","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/notices.pdf","volume":"55","year":"2008","bibtex":"@article{freek2008e,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-16 22:38:20 +0000},\n\tDate-Modified = {2014-11-16 22:40:11 +0000},\n\tJournal = {Notices of the American Mathematical Society},\n\tNumber = {11},\n\tPages = {1408--1414},\n\tTitle = {Formal proof--getting started},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/notices.pdf},\n\tVolume = {55},\n\tYear = {2008}}\n\n","author_short":["Wiedijk, F."],"key":"freek2008e","id":"freek2008e","bibbaseid":"wiedijk-formalproofgettingstarted-2008","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/notices.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["formal","proof","getting","started","wiedijk"],"title":"Formal proof–getting started","year":2008}