Imandra

@VerifiedbyAI

AI startup developing Imandra™, the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms