System Integration

Imandra 提供一个用于人工智能系统逻辑推理的 Reasoning as a Service® 平台。

小米澎湃OS开发者平台提供应用开发、分发和变现的工具与服务，适用于小米设备。