UZH - Institute of Mathematics

MAT740

Topology in Lean

$https://www.math.uzh.ch/fileadmin/user/pid_25594/bilder/275558-DSC_2902_b_select_fotostudio.ch.jpg$

Vorlesungen

Zeitraum:
15:00 - 17:00

Raum:
Y27H25 Plätze: 50

This lecture offers a video stream

This lecture offers a video stream

Für weitere Informationen kontaktieren Sie bitte: Marius Furter

All materials can be found in the course GitHub repository.

Modul: 06.01.2026-08.01.2026, Raum: Y27H26 Plätze: 14, Typ: mündlich
Presentation of Project of which the deadline is January 4 2026