@book{nipkow2002isabelle,
author = {Nipkow, Tobias and Paulson, Lawrence C and Wenzel, Markus},
publisher = {Springer Science {\&} Business Media},
title = {{Isabelle/HOL: A Proof Assistant for Higher-order Logic}},
volume = {2283},
year = {2002}
}

{"_id":"4iAkQ5zPfuezycnBH","bibbaseid":"nipkow-paulson-wenzel-isabelleholaproofassistantforhigherorderlogic-2002","downloads":0,"creationDate":"2017-09-01T03:35:40.571Z","title":"Isabelle/HOL: A Proof Assistant for Higher-order Logic","author_short":["Nipkow, T.","Paulson, L. C","Wenzel, M."],"year":2002,"bibtype":"book","biburl":"https://raw.githubusercontent.com/jonaprieto/athena/master/paper/ref.bib","bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Nipkow"],"firstnames":["Tobias"],"suffixes":[]},{"propositions":[],"lastnames":["Paulson"],"firstnames":["Lawrence","C"],"suffixes":[]},{"propositions":[],"lastnames":["Wenzel"],"firstnames":["Markus"],"suffixes":[]}],"publisher":"Springer Science & Business Media","title":"Isabelle/HOL: A Proof Assistant for Higher-order Logic","volume":"2283","year":"2002","bibtex":"@book{nipkow2002isabelle,\nauthor = {Nipkow, Tobias and Paulson, Lawrence C and Wenzel, Markus},\npublisher = {Springer Science {\\&} Business Media},\ntitle = {{Isabelle/HOL: A Proof Assistant for Higher-order Logic}},\nvolume = {2283},\nyear = {2002}\n}\n","author_short":["Nipkow, T.","Paulson, L. C","Wenzel, M."],"key":"nipkow2002isabelle","id":"nipkow2002isabelle","bibbaseid":"nipkow-paulson-wenzel-isabelleholaproofassistantforhigherorderlogic-2002","role":"author","urls":{},"downloads":0},"search_terms":["isabelle","hol","proof","assistant","higher","order","logic","nipkow","paulson","wenzel"],"keywords":[],"authorIDs":[],"dataSources":["8jafqMAWgB7XP4FTZ"]}