Streamer-Profil
Agdaunimath spricht englisch, Twitch Affiliate 
. 
. agdaunimath hat bisher 121 Follower (121) erreicht. Der Streamer stellt sich mit „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.“ vor und gehört keinem Team an.
Aktualisiert September 12, 2024.
Sprache: English (Englisch)
Twitch-Status: Affiliate
Konto erstellt: vor 2 Jahre, 4 Tage (September 7, 2022)
Streaming-Jubiläum:
Alle meine sozialen Links: Links
Zuletzt beim Streamen gesehen: vor 1 Jahr, 11 Monate
English (Englisch)Twitch-Status: Affiliate
Konto erstellt: vor 2 Jahre, 4 Tage (September 7, 2022)
Konto-Jubiläum in 359 Tagen
Streaming-Jubiläum:
Alle meine sozialen Links: Links
Zuletzt beim Streamen gesehen: vor 1 Jahr, 11 Monate
Letzte Aktivität
2023-04-19 ist jetzt ein Twitch-AffiliateThe latest Bans, Activites and Events from agdaunimath
Letzte Aktivität
Soziale Netzwerke
Twitter: @egbertrijke
Stream-Offline-Bild
Your current Language is: de
but your preferred detected language is: en
Change the language now Switch to your browser default language.
but your preferred detected language is: en
Change the language now Switch to your browser default language.