@inproceedings{DBLP:conf/cpp/DonatoSW22,
  author = {Pablo Donato and Pierre{-}Yves Strub and
Benjamin Werner},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/cpp/DonatoSW22.bib},
  booktitle = {{CPP} '22: 11th {ACM} {SIGPLAN} International
Conference on Certified Programs and Proofs,
Philadelphia, PA, USA, January 17 - 18, 2022},
  doi = {10.1145/3497775.3503692},
  editor = {Andrei Popescu and Steve Zdancewic},
  isbn = {978-1-4503-9182-5},
  pages = {197--209},
  publisher = {{ACM}},
  timestamp = {Mon, 17 Jan 2022 09:44:17 +0100},
  title = {A drag-and-drop proof tactic},
  url = {https://doi.org/10.1145/3497775.3503692},
  year = {2022}
}

{"_id":"Rt7FSJgAfBfgWW2tf","bibbaseid":"donato-strub-werner-adraganddropprooftactic-2022","author_short":["Donato, P.","Strub, P.","Werner, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pablo"],"propositions":[],"lastnames":["Donato"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Werner"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/cpp/DonatoSW22.bib","booktitle":"CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022","doi":"10.1145/3497775.3503692","editor":[{"firstnames":["Andrei"],"propositions":[],"lastnames":["Popescu"],"suffixes":[]},{"firstnames":["Steve"],"propositions":[],"lastnames":["Zdancewic"],"suffixes":[]}],"isbn":"978-1-4503-9182-5","pages":"197–209","publisher":"ACM","timestamp":"Mon, 17 Jan 2022 09:44:17 +0100","title":"A drag-and-drop proof tactic","url":"https://doi.org/10.1145/3497775.3503692","year":"2022","bibtex":"@inproceedings{DBLP:conf/cpp/DonatoSW22,\n author = {Pablo Donato and Pierre{-}Yves Strub and\nBenjamin Werner},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/cpp/DonatoSW22.bib},\n booktitle = {{CPP} '22: 11th {ACM} {SIGPLAN} International\nConference on Certified Programs and Proofs,\nPhiladelphia, PA, USA, January 17 - 18, 2022},\n doi = {10.1145/3497775.3503692},\n editor = {Andrei Popescu and Steve Zdancewic},\n isbn = {978-1-4503-9182-5},\n pages = {197--209},\n publisher = {{ACM}},\n timestamp = {Mon, 17 Jan 2022 09:44:17 +0100},\n title = {A drag-and-drop proof tactic},\n url = {https://doi.org/10.1145/3497775.3503692},\n year = {2022}\n}\n\n","author_short":["Donato, P.","Strub, P.","Werner, B."],"editor_short":["Popescu, A.","Zdancewic, S."],"key":"DBLP:conf/cpp/DonatoSW22","id":"DBLP:conf/cpp/DonatoSW22","bibbaseid":"donato-strub-werner-adraganddropprooftactic-2022","role":"author","urls":{"Paper":"https://doi.org/10.1145/3497775.3503692"},"metadata":{"authorlinks":{}},"downloads":4,"html":""},"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","dataSources":["q4vBTsWpxooqz6FoB"],"keywords":[],"search_terms":["drag","drop","proof","tactic","donato","strub","werner"],"title":"A drag-and-drop proof tactic","year":2022,"downloads":4}