Imandra is a cloud-native automated reasoning engine. Aesthetic Integration is an AI startup developing Imandra, the cloud-scale automated reasoning system.