Imandra est une plateforme de raisonnement en tant que service qui donne aux IA des capacités de raisonnement logique.
Pour utiliser Imandra, installez la bibliothèque Python depuis PIP3, créez un compte et importez les bibliothèques Imandra en Python.
Voici l'e-mail d'assistance Imandra Inc. destiné au service client : [email protected] . Plus de contacts, visitez la page Contactez-nous(mailto:[email protected]?subject=Contact%20request&body=Hi,%20I'm%20...%20from%20...%20please%20contact%20me%20at:%20...%20tel/email.)
Imandra Inc. Nom de l'entreprise : Imandra Inc. .
Imandra Inc. Adresse de l'entreprise : Austin , TX (HQ), Edinburgh and London.
Pour en savoir plus sur Imandra Inc., veuillez visiter la la page À propos de nous(https://www.imandra.ai/about) .
Lien de connexion Imandra Inc. : https://www.imandra.ai/login?return_to=%2Fsettings
Lien de Facebook Imandra Inc. : https://www.facebook.com/VerifiedByAI
Lien de Linkedin Imandra Inc. : https://www.linkedin.com/company/imandra/mycompany/
Lien de Twitter Imandra Inc. : https://twitter.com/verifiedbyai
Lien de Github Imandra Inc. : https://github.com/imandra-ai