20220520I — различия между версиями

Материал из 0x1.tv

Текущая версия на 15:00, 25 февраля 2024 (править)
StasFomin (обсуждение | вклад)
(Перенаправление на Эксперимент по созданию quick-and-dirty пруверов для оценки завершаемости в рамках рубежного контроля (Антонина Непейвода, OSEDUCONF-2022))
 
(нет различий)

Текущая версия на 15:00, 25 февраля 2024

Перенаправление на:

  • Эксперимент по созданию quick-and-dirty пруверов для оценки завершаемости в рамках рубежного контроля (Антонина Непейвода, OSEDUCONF-2022)
Источник — «https://0x1.tv/index.php?title=20220520I&oldid=189328»