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.