Считаем — это занимает несколько секунд
| Стрим | Длительность | Средние | Пик | Подписчиков | Название | Категории |
|---|---|---|---|---|---|---|
| 20 окт. 2026 г., 11:54 | 0.7 hrs | 3 | 4 | — | Graph Math formalization in Mizar | fixing proofs | |
| 20 окт. 2026 г., 07:31 | 0.1 hrs | 3 | 3 | — | Graph Math formalization in Mizar | fixing proofs | |
| 19 окт. 2026 г., 17:36 | 0.6 hrs | 4 | 5 | — | Graph Math formalization in Mizar | |
| 07 окт. 2026 г., 07:29 | 0.6 hrs | 6 | 10 | — | — |  |
| 06 окт. 2026 г., 18:11 | 0.1 hrs | 3 | 3 | — | — | |
| 20 сент. 2026 г., 11:03 | 0.1 hrs | 3 | 3 | — | — |  |