Formalizing Dedekind cuts in Lean
Speaker: Felix Lentze
Date : Thu, Jul 10
Time: 17:30
Place: SR 4
Date : Thu, Jul 10
Time: 17:30
Place: SR 4