Skip to main content
Top

Journal of Automated Reasoning

Issue 2/2022

Content (3 Articles)

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

Premium Partner