Марк Шевченко

30.04.2025 19:00 (+03:00) 📺 Трансляция coq верификация программ

23.04.2025 19:00 (+03:00) 📺 Трансляция coq верификация программ

15.04.2025 19:00 (+03:00) 📺 Трансляция coq верификация программ

09.04.2025 19:00 (+03:00) 📺 Трансляция coq зависимые типы верификация программ

Москва,Россия, 19.12.2024 19:00 (+03:00) drinkup 🍺

Москва,Россия, 07.12.2024 11:00 (+03:00) архитектура по

Москва,Россия, 13.08.2024 19:00 (+03:00) задачи leetcode

Москва,Россия, 22.05.2024 19:00 (+03:00) 📺 Трансляция go http http3

12.04.2024 19:00 (+03:00) 📺 Трансляция

Москва,Россия, 21.12.2023 19:00 (+03:00)

Москва,Россия, 13.09.2023 19:00 (+03:00) leetcode день программиста