-
HOL
- https://hol.org/guard
-
Type : Prestataire
-
HOL publie HOL Guard, un contrôle d'exécution open source (Apache-2.0) et local pour les agents de code IA.
Fournisseur de services pour
Liste des logiciels pour lesquels HOL fournit au moins un service.
L'utilisateur HOL n'est pas encore référencé comme fournisseur de service.
Témoignage
Témoignage publié.
Aucun témoignage publié.