Zentrale öffentliche Logbücher

Dies ist die kombinierte Anzeige aller in KoMapedia geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).

• 17:03, 22. Mai 2026 2001:638:501:7aaf:6b27:b023:ddfa:d6d8 Diskussion erstellte die Seite KoMa 94/AK Lean (proof assistant) (Die Seite wurde neu angelegt: „{{Vorlage:Arbeitskreis Session |Name=AK Lean (proof assistant) |AK=AK Lean (proof assistant) |AKS_Typ=Austausch |Initiator=Felix |Dauer=~45min |AKS_Kurzbeschreibung=In Potsdam läuft aktuell ein recht formloses Seminar, wo Personen aus dem Kollegium, und vereinzelt auch Studis, versuchen zusammen Lean4 zu lernen. Ich denke es könnte auch Anwendung in der Lehre geben. Möglich wäre z.B. Skripte, Musterlösungen, etc. in Lean zu "übersetzten". Die Bewe…“)