Lean (Proof assistant)

Who? Felix (Potsdam)
Category Inhalt
Types Austauch
Present this AK (Category Default)
Reso intention?
Requirements Konferenzbestuhlung

Brief Description:

Wie lässt sich Lean in die Lehre einbinden?

Design/Goal:

-

When? Duration Room
Sun 13:30 - 14:20 0:50 Weststadtcarree WSC-N-U-4.05
Add another slot

Possible Times

Start End
Sunday 00:00 Wednesday 00:00