Seminar "Mathematics in Lean 3 and Neural Theorem Proving"

from Thursday, 17 February 2022 (19:00) to Thursday, 19 May 2022 (20:30)
Zoom (https://us02web.zoom.us/j/511327649)

        : Sessions
    /     : Talks
        : Breaks
17 Feb 2022
24 Feb 2022
3 Mar 2022
10 Mar 2022
17 Mar 2022
24 Mar 2022
31 Mar 2022
7 Apr 2022
14 Apr 2022
21 Apr 2022
28 Apr 2022
5 May 2022
12 May 2022
19 May 2022
AM
PM
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)
19:00
Семинар (until 20:30) (https://us02web.zoom.us/j/511327649)