themis Installation First, install Firedrake using the instructions here. Then, with the firedrake venv active, type: firedrake-update --install git+ssh://github.com/celdred/themis.git