Note from the editor
Reasoning as a Service @ www.imandra.ai
Editors
Grant Passmore
Cofounder of Imandra / Aesthetic Integration (imandra.ai). Creator of Imandra. Proving theorems about algorithms!
Denis Ignatovich
Co-founder of Imandra (www.imandra.ai). Former head of Central Risk Trading @ DB London.
