Installation

Simply run pip install fenics-stubs in an environment with FEniCS installed. We recommend using a FEniCS docker container to minimize installation issues.