Imandra is a cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms.