Stream: New Members & Projects

Topic: ✔ start with something else than Scratch.thy?

Edmund Dikow (Nov 23 2021 at 10:37):

sorry, I placed this topic in the wrong stream

Notification Bot (Nov 23 2021 at 10:38):

Edmund Dikow has marked this topic as resolved.

Last updated: Jul 15 2022 at 23:21 UTC