Frequently Asked Questions

1. How do I use pip to install stubs?

The name of the package is fenics-stubs which unfortunately does not match the module name. Run pip install fenics-stubs.