(12-10-2025, 06:22 PM)Georg J. aus D. schrieb:(12-10-2025, 05:02 PM)lukas schrieb:(12-10-2025, 04:53 PM)Georg J. aus D. schrieb:(12-10-2025, 04:19 PM)st1974 schrieb: Ein hübsches interaktives Tool. Damit kann man schnell auf eine heiße Spur kommen. Die Herausforderung liegt im formalen Beweis der Richtigkeit der Antwort.
Im pdf fehlt ein Hinweis auf dieses Tool.
Ich dachte der Hinweis oben auf der Aufgabenseite reicht aus
Ich nutze die Aufgabenseiten nur, um die pdfs herunterzuladen und die Lösungen/Feedbacks abzugeben. Ich habe das Tool auch erst durch obigen Post entdeckt.
Na dann ein Glück, dass es ins Forum geschrieben wurde.
Wir werden in Zukunft dafür eine Bemerkung im pdf schreiben (mit Link).