Pikagi
Egbert Rijke Profile Banner
Egbert Rijke Profile
Egbert Rijke

@EgbertRijke

3,543
Followers
1,193
Following
147
Media
3,042
Statuses

Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

Baltimore
https://t.co/oWZgzJ86LO
Joined June 2019
Don't wanna be here? Send us removal request.
@GlebChili
Gleb Krasilich
@GlebChili
Moscow, Russia
@sdumbrav
Stefania Dumbrava (@sdumbrava.bsky.social)
@sdumbrav
Paris, France
@overleaf_user
Axel Ljungström
@overleaf_user
Stockholm
@JohnMeuser
🌊
@JohnMeuser
@EmmaAmabilis
Amity Aharoni
@EmmaAmabilis
@carlescasac
Carles Casacuberta
@carlescasac
Barcelona, Catalonia
@MrHonner
Patrick Honner
@MrHonner
NYC
@lastland0
Yao Li
@lastland0
@solifine
solifine
@solifine
@cbaberle
C.B. Aberlé
@cbaberle
Portland, OR / Pittsburgh, PA
@burakkayaburak
Burak Kaya
@burakkayaburak
Ankara, Türkiye
@de_Jong_Tom
Tom de Jong
@de_Jong_Tom
Nottingham, England
@srivoire
Suzanne
@srivoire
@NeringaYoung
Neringa Young 🇺🇦 ❤
@NeringaYoung
Free tickets to Build Stuff
@winterhalter_t
Théo Winterhalter
@winterhalter_t
Saclay
@p_droabreu0
Pedro Abreu
@p_droabreu0
Brasilia
@zoeyfyi
Zoey ⛈
@zoeyfyi
Edinburgh, Scotland
@InductiveGirl
Fy
@InductiveGirl
she/they
@CyberCatInst
CyberCat Institute
@CyberCatInst
Cyberspace
@LouisLmnn
Louis
@LouisLmnn