Leibniz International Proceedings in Informatics 14th International Conference on Interactive Theorem Proving (ITP 2023) 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18
13th installment of the Coq Workshop series (Coq workshop 2022) 13th installment of the Coq Workshop series (Coq workshop 2022), Aug 2022, Haifa, Israel.
[Research Report] E-458.PDF, MINES ParisTech-PSL Research University. 2022 EC'22-Twenty-Third ACM Conference on Economics and Computation EC'22-Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States.
FAB 2021-Fourth International Symposium on Foundations and Applications of Blockchain FAB 2021-Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
Logic Journal of the IGPL. Interest Group in Pure and Applied Logics (Log. J. IGPL) (20110101), 19, no.~6, 790-820. ISSN: 1367-0751 (print).eISSN: 1368-9894.