зеркало из
https://github.com/iharh/notes.git
synced 2025-10-30 21:26:09 +02:00
30 строки
1.5 KiB
Plaintext
30 строки
1.5 KiB
Plaintext
2021
|
|
CSC - Formal Verification Intro ru
|
|
https://www.youtube.com/playlist?list=PLyZ1pMP2ZKOwMIkPgIT2iGiaDMYhpStqj
|
|
https://compsciclub.ru/courses/formalverification/2021-spring/
|
|
https://github.com/anton-trunov/csclub-coq-course-spring-2021
|
|
2021
|
|
FPMI - Lipovskiy - TFTDS 3 course lections
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvaYKF6HkyCximCvlExxxnrC
|
|
! need first 2 and 10 lections
|
|
FPMI - Lipovskiy - TFTDS 3 course seminars
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvZd6B5fN3yAB0zOCjhgpfgg
|
|
2020
|
|
FPMI - Lipovskiy - TFTDS 3 course lections
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvZaJ3CJlGo9FxOTA2bS1YyN
|
|
FPMI - Lipovskiy - TFTDS 3 course seminars
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvZTjajkPpwgR29jyx81lMCl
|
|
2019
|
|
FPMI - Lipovskiy - TFTDS 3 course lections
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvYwYRYQB1QwwwrqDrIgSMou
|
|
FPMI - Lipovskiy - TFTDS 3 course seminars
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvYaxubHPI-qZDhqPckxxvK7
|
|
|
|
FPMI - Lipovskiy - Sync
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvb7P8guwSTaaUS8EcOaWjxF
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvbW4DHFV3CY5CqupNqPf4jS
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvaxKQHe6n8JQcoc7tWxKWRL
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvYTxm55RBm_HA5Bq5W1Nv-R
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAva37lNnoMuBcKRELso5nvBm
|
|
https://www.youtube.com/playlist?list=PL4_hYwCyhAvZgIfxf4nLnjXprGGWBs5VO
|