Imandra
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.
Ian Orton
Research Intern — Aesthetic Integration
Reviews
No reviews, submit yours below.
Add review
Login to submit your review.