jupyterlab mathics3
