Wiki » History » Revision 63
Revision 62 (Alexey Demakov, 05/30/2025 09:03 PM) → Revision 63/68 (Alexey Demakov, 05/31/2025 11:32 AM)
Домашние задания h1. 2025 - ВШЭ 3 курс |_.№|_.ФИО |\3. 1. BitNat |\3. 2. Functor BTree |\3. 3. Shell |\3. 4. Proofs | | | 1|Абдуллин Амир Айдарович | 8| | 04.28 | 8| +extras | 04.28 | 9|+extras, -notimpl | 04.28 | 7| | 05.20 | 8 | | 2|Глотов Алексей Александрович | 8| | 02.18 | | | | | | | 8| | | | | 3|Долгих Иван Дмитриевич | -| | | | | | | | | | | | | | 4|Дубич Евгений Васильевич | 8| | 05.19 | 8| | 05.19 | | | | | | | | | 5|Знатнов Егор Павлович | 8| -ListNat | 02.17 | 8| +extras | 03.18 | 8| | 04.26 | 8| | 05.20 | 8 | | 6|Катюнин Павел Дмитриевич | -| | | | | | | | | | | | | | 7|Качмазов Руслан Александрович | 7|-3 covering | 02.18 | 8| | 03.25 | | | | 7| | 05.20 | | | 8|Крюков Андрей Денисович | 8| | 02.24 | 9| +tests | 03.07 | 8| | 03.26 | 5| | 05.20 | 7 | | 9|Никульшин Павел Андреевич | 8| | 03.04 | 8| | 05.20 | | | | | | | | | 10|Панкратов Степан Юрьевич |10| +tests, +extra | 02.18 |10| +tests, +extras | 02.24 |10| +tests, +extras | 03.10 | 7| | 05.20 | 9 | | 11|Полтанов Святослав Игоревич | 8| | 02.18 | 8| | 03.05 | | | | 6| | | | | 12|Семенцов Николай Сергеевич | -| | | | | | | | | | | | | | 13|Федотова Анна Алексеевна | 8| | 05.19 | 8| | 05.19 | | | | | | | | | 14|Чирков Богдан Ильич | 7| -3 covering | 02.18 | | | | | | | | | | | | 15|Щагин Дмитрий Владимирович | 7| -3 covering | 02.25 | 8| | | 05.26 | | | | 6| | | | | 16|Коротков Алексей Сергеевич | 6| -3 covering, -1 deftot | 02.10 | | | | | | | | | | | | 17|Проскурин Дмитрий Александрович| 7| -3 covering | 02.16 | 8| +tests | 03.04 |10| +monad trans | 03.18 | 8| | 05.20 | 9 | | 18|Сергеев Дмитрий Александрович | 7| -3 covering | 02.08 | 8| | 03.02 | 8| | 03.13 | 8| | 05.20 | 8 | | 19|Синицын Тимофей Сергеевич | 7| -3 covering | 02.23 | 8| | 04.13 | 7| -bug in ln | 04.14 | | | | | | 20|Соколов Александр Сергеевич |10| +1 extras, + tests | 03.09 | 9| +tests for laws | 03.09 | | | |10| | | | | 21|Хритов Михаил Владимирович | 8| | 05.29 | | | | | | | | | | | | 22|Щукин Аркадий Александрович | 7| -3 covering, + tests | 02.18 | 8| +tests | 03.09 | | | |10|+семинары | 05.13 | | | 23|Яковлев Иван Александрович | 9| +tests | 03.11 | 9| +tests for laws | 03.12 | 9| | | 8| | 05.20 | 9 |