Ausgabe 2/2022
Inhalt (3 Artikel)
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
Analyzing Read-Once Cutting Plane Proofs in Horn Systems
Piotr Wojciechowski, K. Subramani, R. Chandrasekaran