1. A Coq Formalization of Lebesgue Integration of Nonnegative Functions

   • Sylvie Boldo
   • François Clément
   • Micaela Mayero

   OriginalPaper 23 November 2021 Pages: 175 - 213

   

2. A Bi-Directional Extensible Interface Between Lean and Mathematica

   • Robert Y. Lewis
   • Minchao Wu

   OriginalPaper 30 January 2022 Pages: 215 - 238

   

3. Analyzing Read-Once Cutting Plane Proofs in Horn Systems

   • Piotr Wojciechowski
   • K. Subramani
   • R. Chandrasekaran

   OriginalPaper 23 February 2022 Pages: 239 - 274