Seminar "Mathematics in Lean 3 and Neural Theorem Proving"
from
Thursday, 17 February 2022 (19:00)
to
Thursday, 19 May 2022 (20:30)
Monday, 14 February 2022
Tuesday, 15 February 2022
Wednesday, 16 February 2022
Thursday, 17 February 2022
19:00
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 18 February 2022
Saturday, 19 February 2022
Sunday, 20 February 2022
Monday, 21 February 2022
Tuesday, 22 February 2022
Wednesday, 23 February 2022
Thursday, 24 February 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 25 February 2022
Saturday, 26 February 2022
Sunday, 27 February 2022
Monday, 28 February 2022
Tuesday, 1 March 2022
Wednesday, 2 March 2022
Thursday, 3 March 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 4 March 2022
Saturday, 5 March 2022
Sunday, 6 March 2022
Monday, 7 March 2022
Tuesday, 8 March 2022
Wednesday, 9 March 2022
Thursday, 10 March 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 11 March 2022
Saturday, 12 March 2022
Sunday, 13 March 2022
Monday, 14 March 2022
Tuesday, 15 March 2022
Wednesday, 16 March 2022
Thursday, 17 March 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 18 March 2022
Saturday, 19 March 2022
Sunday, 20 March 2022
Monday, 21 March 2022
Tuesday, 22 March 2022
Wednesday, 23 March 2022
Thursday, 24 March 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 25 March 2022
Saturday, 26 March 2022
Sunday, 27 March 2022
Monday, 28 March 2022
Tuesday, 29 March 2022
Wednesday, 30 March 2022
Thursday, 31 March 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 1 April 2022
Saturday, 2 April 2022
Sunday, 3 April 2022
Monday, 4 April 2022
Tuesday, 5 April 2022
Wednesday, 6 April 2022
Thursday, 7 April 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 8 April 2022
Saturday, 9 April 2022
Sunday, 10 April 2022
Monday, 11 April 2022
Tuesday, 12 April 2022
Wednesday, 13 April 2022
Thursday, 14 April 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 15 April 2022
Saturday, 16 April 2022
Sunday, 17 April 2022
Monday, 18 April 2022
Tuesday, 19 April 2022
Wednesday, 20 April 2022
Thursday, 21 April 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 22 April 2022
Saturday, 23 April 2022
Sunday, 24 April 2022
Monday, 25 April 2022
Tuesday, 26 April 2022
Wednesday, 27 April 2022
Thursday, 28 April 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 29 April 2022
Saturday, 30 April 2022
Sunday, 1 May 2022
Monday, 2 May 2022
Tuesday, 3 May 2022
Wednesday, 4 May 2022
Thursday, 5 May 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 6 May 2022
Saturday, 7 May 2022
Sunday, 8 May 2022
Monday, 9 May 2022
Tuesday, 10 May 2022
Wednesday, 11 May 2022
Thursday, 12 May 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649
Friday, 13 May 2022
Saturday, 14 May 2022
Sunday, 15 May 2022
Monday, 16 May 2022
Tuesday, 17 May 2022
Wednesday, 18 May 2022
Thursday, 19 May 2022
19:00
Семинар
Семинар
19:00 - 20:30
Room: https://us02web.zoom.us/j/511327649