How to run the notebook on Ubuntu 20.04
- Checkout and build DiffKt.
- Install Anaconda.
- Create an Anaconda enviroment with the following command conda env create -f /diffkt/tutorials/enviroment.yml
- You now have a conda enviroment call diffkt, activate it conda activate diffkt
- Start Jupyter notebook server jupyter notebook
- A webpage will show up in your browser, select the notebook you want to run.