Copyright © 2014 - 2019 Imandra Inc. All rights reserved.

This website was created for information purposes only and serves as an overview of services and products offered by Imandra Inc. and its subsidiaries. References to companies and Imandra, Aesthetic Integration and The Logic of Financial Risk are trademarks or pending trademarks of Imandra Inc and its subsidiaries. Imandra includes all or parts of the Caml system developed by INRIA and its contributors. is made possible using the Jupyter open source project (licence).