A Coq Formalization of Lebesgue Integration of Nonnegative Functions Sylvie BoldoFrançois ClémentMicaela Mayero OriginalPaper 23 November 2021 Pages: 175 - 213
A Bi-Directional Extensible Interface Between Lean and Mathematica Robert Y. LewisMinchao Wu OriginalPaper 30 January 2022 Pages: 215 - 238
Analyzing Read-Once Cutting Plane Proofs in Horn Systems Piotr WojciechowskiK. SubramaniR. Chandrasekaran OriginalPaper 23 February 2022 Pages: 239 - 274