experimental jupyter notebook frontend for imandra - View it on GitHub