OpenMath/py-scscp

announce the package on the OpenMath and ODK channels

Opened this issue · 0 comments

kohlhase commented

We should really announce the availability of this via the OpenMath (Tom?) and and ODK (Luca?) channels (once it is sufficiently ready and tested).

Do good things and talk about it.

For this we need

  • testing (e.g. the ODK "Bremen" example we have been talking about)
  • ...