No, currently there are no .pyi files in SymPy. Could you please submit issues with code snippets that mypy reports error?
One workaround is to let mypy skip SymPy, just like pre-1.9 behavior. Reference: https://github.com/python/mypy/issues/7769 Here is an example that contains both error-typed numpy and sympy code: *import numpy* *import sympy* *nv: int = numpy.__version__* *x: int = sympy.Symbol('x')* If you run mypy with it, you will get 2 errors. Then if you create a mypy.ini as below and run mypy again, you will only get the numpy error *[mypy-sympy.*]* *follow_imports = skip* *follow_imports_for_stubs = True* -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/653145a0-5db3-499c-9cae-11bd1b84d89bn%40googlegroups.com.
