Ayutac
October 20, 2026
0h 40m
Duration
11:54 → 13:43
3
Average viewers
4
Peak viewers
at 13:13
2
Hours watched
—
Followers gained
—
Followers per hour
1
Categories
Math
0
Clips cut
ViewersFollowers gainedCategory changed
Math100% of the stream
3Average viewers
4Peak viewers
0h 40mDuration
—Followers gained
—Followers per hour
2Hours watched
- 11:54Graph Math formalization in Mizar | fixing proofs
