elpinal
@elpinal@mathstodon.xyz
Joined: 11/07/2022
About elpinal
Syntax and semantics of type theory
Lists
elpinal has no public lists
Timeline
elpinal has no activity yet
@elpinal@mathstodon.xyz
Joined: 11/07/2022
Syntax and semantics of type theory
elpinal has no public lists
elpinal has no activity yet