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.

Reviews

No reviews, submit yours below.
Add review

Login to submit your review.