KoMa 94/AK Lean (proof assistant): Versionsgeschichte

Aus KoMapedia

Auswahl des Versionsunterschieds: Markiere die Radiobuttons der zu vergleichenden Versionen und drücke die Eingabetaste oder die Schaltfläche am unteren Rand.
Legende: (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version, K = Kleine Änderung

23. Mai 2026

22. Mai 2026

  • AktuellVorherige 17:0317:03, 22. Mai 2026 2001:638:501:7aaf:6b27:b023:ddfa:d6d8 Diskussion 953 Bytes +953 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…“
Abgerufen von „https://de.komapedia.org/wiki/KoMa_94/AK_Lean_(proof_assistant)“