Mizar Light for HOL Light. Wiedijk, F. In Boulton, R. & Jackson, P., editors, Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, volume 2152, of Lecture Notes in Computer Science, pages 378–393, 2001. Springer.
![Mizar Light for HOL Light [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2001a,
Author = {Freek Wiedijk},
Booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh},
Date-Added = {2014-11-15 22:24:03 +0000},
Date-Modified = {2014-11-15 22:26:21 +0000},
Editor = {Richard Boulton and Paul Jackson},
Pages = {378--393},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Mizar Light for HOL Light},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/mizar/miz.pdf},
Volume = {2152},
Year = {2001}}Downloads: 0
{"_id":"4kHnbCjQZn3q3t8PX","bibbaseid":"wiedijk-mizarlightforhollight-2001","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh","date-added":"2014-11-15 22:24:03 +0000","date-modified":"2014-11-15 22:26:21 +0000","editor":[{"firstnames":["Richard"],"propositions":[],"lastnames":["Boulton"],"suffixes":[]},{"firstnames":["Paul"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"pages":"378–393","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Mizar Light for HOL Light","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/mizar/miz.pdf","volume":"2152","year":"2001","bibtex":"@inproceedings{freek2001a,\n\tAuthor = {Freek Wiedijk},\n\tBooktitle = {Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh},\n\tDate-Added = {2014-11-15 22:24:03 +0000},\n\tDate-Modified = {2014-11-15 22:26:21 +0000},\n\tEditor = {Richard Boulton and Paul Jackson},\n\tPages = {378--393},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {Mizar Light for HOL Light},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/mizar/miz.pdf},\n\tVolume = {2152},\n\tYear = {2001}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Boulton, R.","Jackson, P."],"key":"freek2001a","id":"freek2001a","bibbaseid":"wiedijk-mizarlightforhollight-2001","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/mizar/miz.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["mizar","light","hol","light","wiedijk"],"title":"Mizar Light for HOL Light","year":2001}