| Name | Category | Track | Time |
|---|---|---|---|
| Lean (Proof assistant) | Inhalt | None | 2026-05-24 13:35:22 |
| Wie lässt sich Lean in die Lehre einbinden? | |||
| Lean (Proof assistant) | Inhalt | None | 2026-05-24 04:45:56 |
| Wie lässt sich Lean in die Lehre einbinden? | |||
| Lean (Proof assistant) | Inhalt | None | 2026-05-23 00:52:19 |
| Wie lässt sich Lean in die Lehre einbinden? | |||