Slimmer Formal Proofs for Mathematical Libraries.

Paul Geneau de Lamarlire, Guillaume Melquiond, Florian Faissole

Browse the full ARITH paper archive.