Working it out — this takes a few seconds
| Stream | Duration | Average | Peak | Followers | Title | Games |
|---|---|---|---|---|---|---|
| Oct 20, 2026, 11:54 AM | 0.7 hrs | 3 | 4 | — | Graph Math formalization in Mizar | fixing proofs | |
| Oct 20, 2026, 07:31 AM | 0.1 hrs | 3 | 3 | — | Graph Math formalization in Mizar | fixing proofs | |
| Oct 19, 2026, 05:36 PM | 0.6 hrs | 4 | 5 | — | Graph Math formalization in Mizar | |
| Oct 07, 2026, 07:29 AM | 0.6 hrs | 6 | 10 | — | — |  |
| Oct 06, 2026, 06:11 PM | 0.1 hrs | 3 | 3 | — | — | |
| Sep 20, 2026, 11:03 AM | 0.1 hrs | 3 | 3 | — | — |  |