sci-mathematics@gentoo.org Gentoo Mathematics Project Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. https://gitlab.inria.fr/gappa/gappa/-/issues/