(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
Datenpunkt: Ich habe das Tool erst durch das Forum entdeckt. Vermutlich hat mein interner adblocker das ausgeblendet :-)