Beiträge von Benutzer „2001:638:501:7AAF:6B27:B023:DDFA:D6D8“
Aus KoMapedia
Ergebnisse für 2001:638:501:7AAF:6B27:B023:DDFA:D6D8 Diskussion Sperr-Logbuch Logbücher
22. Mai 2026
- 17:0317:03, 22. Mai 2026 Unterschied Versionen +953 N 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…“
