Metin Ersin Arıcan - Introduction to Formal Mathematics with Lean

Cumartesi, Aralık 7, 2024 - 20:45

Poster

Date: Monday, December 9, 2024

Time: 13:30

Place: TB 130


Son Güncelleme: 20:42:01 - 07.12.2024