Egbert Rijke Profile Banner
Egbert Rijke Profile
Egbert Rijke

@EgbertRijke

3,536
Followers
1,205
Following
147
Media
3,041
Statuses

Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him

Ljubljana
Joined June 2019
Don't wanna be here? Send us removal request.

No tweets found