Merge branch 'main' of https://github.com/Bumblebee00/SymbolicIntegration.jl

Bumblebee00 · Bumblebee00 · commit e22266acbf92 · 2025-08-28T10:16:58.000+02:00
diff --git a/.github/badges/rules-count.json b/.github/badges/rules-count.json
@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
   "label": "Total rules",
-  "message": "3399",
+  "message": "3400",
   "color": "blue"
 }
