Abschnittsübersicht

  • Colin Rothgang (Mathematics@FU Berlin) will present in this week his ongoing masters thesis work on

    • Automated proving of dependent-typed theorems