Agdaunimath spricht englisch, Twitch Affiliate
![Twitch Affiliate Affiliate](https://cdn.betterbanned.com//icon_twitch_affiliate.png)
.
![EN](https://cdn.betterbanned.com/flag/en.svg)
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.