-
HOL
- https://hol.org/guard
-
Type: Company
-
HOL publie HOL Guard, un contrôle d'exécution open source (Apache-2.0) et local pour les agents de code IA.
Services provider for
List of softwares for which HOL provides at least one service.
HOL do not provide a software, yet.
Testimony
Posted testimony.
No testimony was posted by HOL