Logo

Oft gesucht

Nichts gefunden?

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

Formalizing Dedekind cuts in Lean
Sprecher: Felix Lentze

Datum : Thu, Jul 10

Zeit: 17:30

Ort: SR 4