Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman. A Proof-Producing Compiler for Blockchain Applications. In Adam Naumowicz, René Thiemann, editors, 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland. Volume 268 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.