Traumlos' changes to fix the Javadoc#48

Merged

kovzol merged 12 commits intomasterfrom

May 4, 2025

Commits on Mar 22, 2025

superficial refactor and added java doc to math folder
Traumlos
committed

Commits on Mar 23, 2025

superficial refactor and added java doc to math folder (#43)

kovzol
and
Traumlos
authored

Commits on Mar 24, 2025

superficial refactor and added java doc to gprover folder
Traumlos
committed

Commits on Mar 27, 2025

partial superficial refactor and added java doc to wprover folder
Traumlos
committed

Commits on Mar 29, 2025

Commits on Mar 30, 2025

added missing javadoc for some methods
Traumlos
committed

Commits on Apr 5, 2025

added javadoc for packages
Traumlos
committed