Streamer Profile
Agdaunimath is a english speaking, Twitch Affiliate 
. 
. agdaunimath has reached 126 followers (126) so far. The Streamer introduces itself with „This twitch channel is managed by Egbert Rijke. He is a postdoc in Ljubljana and the creator of the agda-unimath library. Agda-unimath is a formalisation project for univalent mathematics in Agda. In this twitch channel we show live formalisation in this library.“ and does not belong to any team.
Updated November 4, 2024.
Language: English (English)
Twitch Status: Affiliate
Account created: 2 years, 1 month ago (September 7, 2022)
Streaming Anniversary:
All my social links: Links
Last seen streaming: 2 years, 1 month ago
English (English)Twitch Status: Affiliate
Account created: 2 years, 1 month ago (September 7, 2022)
Account anniversary in 306 days
Streaming Anniversary:
All my social links: Links
Last seen streaming: 2 years, 1 month ago
Recent Activity
2023-04-19 is now Twitch AffiliateSocials
Twitter: @egbertrijke
Stream Offline Image
