Skip to content

Fix name conflict with Nemo.integrate#45

Merged
ChrisRackauckas merged 1 commit intoJuliaSymbolics:mainfrom
ChrisRackauckas-Claude:fix-nemo-integrate-conflict
Oct 22, 2025
Merged

Fix name conflict with Nemo.integrate#45
ChrisRackauckas merged 1 commit intoJuliaSymbolics:mainfrom
ChrisRackauckas-Claude:fix-nemo-integrate-conflict

Commits

Commits on Oct 21, 2025