Pikagi
Egbert Rijke Profile Banner
Egbert Rijke Profile
Egbert Rijke

@EgbertRijke

3,512
Followers
1,198
Following
147
Media
3,040
Statuses

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

Ljubljana
https://t.co/kneMSCyxrm
Joined June 2019
Don't wanna be here? Send us removal request.
@OliviaTree10954
Olivia_tree
@OliviaTree10954
USA
@raorsko
Richard Oakley
@raorsko
@Takuto514583462
Takuto
@Takuto514583462
@simeondermaats
simeon 🦀
@simeondermaats
0x5f3759df (they/them)
@QuantumKitKat
QuantumKitty
@QuantumKitKat
Leeds
@BenWaldman7
Ben Waldman (kappa male)🦀
@BenWaldman7
MD-8
@BennisVirginia
Error
@BennisVirginia
Austin, TX
@GSayan10
Sayantan Ganguly
@GSayan10
@xxmuizzi
tuberculosis
@xxmuizzi
@pogin503
(pogin '🐓 nil 'AC負債)
@pogin503
サイバーイグアナ帝国
@1980_linux
zeyt
@1980_linux
@SukunaYork
Sukuna York
@SukunaYork
Kampala
@fynmaaandu
Manduva
@fynmaaandu
@LauraIrby121016
Linda Irby
@LauraIrby121016
USA
@othernedwin
Ned Whitman
@othernedwin
Seattle, WA
@liu_riki
RiQi
@liu_riki
WINNIPEG MB
@dasodfpj
Doeson
@dasodfpj
@Luddicious
The Paleo-Luddite
@Luddicious
Transcendent
@stankneo
neo
@stankneo
matrix
@Cmr1982665
Cmr
@Cmr1982665