whymp
Bibliothèque écrite en WhyML, inspirée par GMP, offrant des fonctionnalités de calcul avec des entiers de précision arbitraire. Les algorithmes sont vérifiés formellement à l'aide de Why3 pour assurer leur exactitude et leur fiabilité.
Dépôt de code
Cas d'utilisation métiers
- Effectue des opérations arithmétiques sur des entiers de précision arbitraire : rechercher des initiatives proches
- Est vérifié formellement à l'aide de Why3 : rechercher des initiatives proches
- Est utilisé pour les calculs nécessitant une précision élevée : rechercher des initiatives proches
- Fournit des fonctionnalités similaires à la bibliothèque GMP : rechercher des initiatives proches
Organisation
- Institut national de recherche en informatique et en automatique (organisation rattachée)
Description générée le mardi 19 mars 2024 à 17:08:51