All the bugs he listed as "filed by others" also seem to have been fixed, again save for one: https://github.com/JuliaLang/julia/issues/36069.
I'm not sure I understand what you're getting at with (2).
All the bugs he listed as "filed by others" also seem to have been fixed, again save for one: https://github.com/JuliaLang/julia/issues/36069.
I'm not sure I understand what you're getting at with (2).
That said, Symbolics was released in 2022. The thread you posted was from 2022. In 2026, it does support limits (https://github.com/SciML/SymbolicLimits.jl), integrals, (https://docs.sciml.ai/SymbolicIntegration/dev/) etc., and in fact that symbolic integration is much more advanced than SymPy, except on symbolic integration of ODEs (surprisingly, though that has been pretty deliberate since that domain almost never has an analytical solution so it's not the most useful to real practitioners and is more of a teaching tool)