Agdaunimath เป็น อังกฤษ ผู้พูด Twitch แอฟฟิเลียท์
.
agdaunimath มีผู้ติดตาม
121 คน
(121) แล้ว. สตรีมเมอร์ตัวนี้จะนำเสนอตัวเองด้วย
„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.“ และไม่ได้อยู่ในทีมใดๆ.
อัพเดทเมื่อ ตุลาคม 3, 2024.