We will also need to install further libraries and tools.
- Treesitter for getting code labels
git clone https://github.com/tree-sitter/tree-sitter-python
- Latex for compiling latex documents and generating figures
sudo apt install dvipng texlive-latex-base texlive-latex-extra cm-super