AKs: 94. Konferenz der deutschsprachigen Mathematikfachschaften - AK Duration(s)

AKPlanning
94. Konferenz der deutschsprachigen Mathematikfachschaften
AK Submission
Lean (Proof assistant)
AK Duration(s)

AK Duration(s)

Duration

Length in hours

Cancel

Write to organizers of this event for questions and comments

Go to backend · Docs · This software is open source