Imandra

Imandra is a neurosymbolic automated reasoning platform for software where correctness matters. It combines large language models with formal methods so A