1# https://mypy.readthedocs.io/en/stable/config_file.html 2[mypy] 3python_version = 3.9 4 5# https://github.com/sagemath/sage/issues/36198#issuecomment-1709521850 6follow_imports = skip 7ignore_missing_imports = True 8 9