Logo

Nichts gefunden?

Teilen Sie uns mit, welche Inhalte Sie auf unseren Seiten vermissen.

Formalizing Dedekind cuts in Lean
Speaker: Felix Lentze

Date : Thu, Jul 10

Time: 17:30

Place: SR 4