Try Imandra only works in modern browsers - if you're having problems, please take a look at the non-interactive versions of the notebooks on our docs site.
Sad Imandra :-(
It looks like things are a bit busy at the minute. Click here to retry, or try again later.