lec25 is powered by jupyter notebook. Follow these instructions to download the notebook and run it locally with jupyter.