(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.


