Thanks to visit codestin.com
Credit goes to github.com

Skip to content
This repository was archived by the owner on Oct 31, 2023. It is now read-only.

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

How to run the notebook on Ubuntu 20.04

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