%0 Conference Paper %1 conf/itp/AbrahamssonMKS22 %A Abrahamsson, Oskar %A Myreen, Magnus O. %A Kumar, Ramana %A Sewell, Thomas %B ITP %D 2022 %E Andronick, June %E de Moura, Leonardo %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 3:1-3:17 %T Candle: A Verified Implementation of HOL Light. %U http://dblp.uni-trier.de/db/conf/itp/itp2022.html#AbrahamssonMKS22 %V 237 %@ 978-3-95977-252-5

@inproceedings{conf/itp/AbrahamssonMKS22, added-at = {2023-06-26T00:00:00.000+0200}, author = {Abrahamsson, Oskar and Myreen, Magnus O. and Kumar, Ramana and Sewell, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2df49fe6c5a029102a065cfa5b071881b/dblp}, booktitle = {ITP}, crossref = {conf/itp/2022}, editor = {Andronick, June and de Moura, Leonardo}, ee = {https://doi.org/10.4230/LIPIcs.ITP.2022.3}, interhash = {47f25df92fa6698fa08c5467e306b10a}, intrahash = {df49fe6c5a029102a065cfa5b071881b}, isbn = {978-3-95977-252-5}, keywords = {dblp}, pages = {3:1-3:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T22:14:45.000+0200}, title = {Candle: A Verified Implementation of HOL Light.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2022.html#AbrahamssonMKS22}, volume = 237, year = 2022 }