GitHub repository: AestheticIntegration/jupyter-imandra
Primary language: JavaScript
Description: experimental jupyter notebook frontend for imandra