@jaycech3n@mathstodon.xyz
Joined: 11/12/2022
125
Followers
121
Following
Logic, categories and types // FP Lab, University of Nottingham -> Theory of Computation, University of Birmingham
jaycech3n has no public lists
jaycech3n has no activity yet