gitlab.inria.fr / gappa / gappa
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
JSON API: https://repos.ecosystem.code.gouv.fr/api/v1/hosts/gitlab.inria.fr/repositories/gappa%2Fgappa
étoiles: 1
forks: 1
issues ouvertes:
licence: cecill-2.1
langage:
dépendances analysées: En attente
date de création: il y a presque 7 ans
date de mise à jour: il y a plus d'un an
dernière synchronisation: il y a environ un an
Loading...