Seminar "Mathematics in Lean 3 and Neural Theorem Proving"
from Thursday, 17 February 2022 (19:00) to Thursday, 19 May 2022 (20:30)