Perfil de streamer
Agdaunimath es un hablante de inglés, Twitch Afiliado 
. 
. agdaunimath ha alcanzado 121 seguidores (121) hasta ahora. El streamer se presenta con „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.“ y no pertenece a ningún equipo.
Actualizado octubre 3, 2024.
Idioma: English (Inglés)
Estado de Twitch: Afiliado
Cuenta creada: hace 2 años, 3 semanas (septiembre 7, 2022)
Aniversario de streaming:
Todos mis enlaces sociales: Enlaces
Última vez que se vio en streaming: hace 2 años, 1 semana
English (Inglés)Estado de Twitch: Afiliado
Cuenta creada: hace 2 años, 3 semanas (septiembre 7, 2022)
Aniversario de cuenta en 337 días
Aniversario de streaming:
Todos mis enlaces sociales: Enlaces
Última vez que se vio en streaming: hace 2 años, 1 semana
Actividad reciente
2023-04-19 ahora es afiliado de TwitchRedes sociales
Twitter: @egbertrijke
Imagen offline del stream
Your current Language is: es
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.