Repository navigation

Land sathandlers with sound Pow, matrix and function guards - #9

Open

tilorc-bot wants to merge 31 commits into

TiloRC:mainfrom

tilorc-bot:fix/sathandlers-soundness

Open

Land sathandlers with sound Pow, matrix and function guards#9
tilorc-bot wants to merge 31 commits into
TiloRC:mainfrom
tilorc-bot:fix/sathandlers-soundness

Commits on Sep 21, 2026
- Add elementary-function class facts
  tilorc-bot
  committed
  fc0e6c6
- Add unit tests for elementary-function facts
  tilorc-bot
  committed
  3b34d49
- Add Add/Mul/Pow structural facts
  tilorc-bot
  committed
  3840c36
- Add unit tests for structural facts
  tilorc-bot
  committed
  82e4186
- Merge structural and elementary-function facts
  tilorc-bot
  committed
  cde5c70
Commits on Sep 22, 2026