bazzalisk
@bazzalisk@mathstodon.xyz
Joined: 11/04/2022
About bazzalisk
James P. Barrett. Interested in lean and the formalisation of maths.
Lists
bazzalisk has no public lists
Timeline
bazzalisk has no activity yet
@bazzalisk@mathstodon.xyz
Joined: 11/04/2022
James P. Barrett. Interested in lean and the formalisation of maths.
bazzalisk has no public lists
bazzalisk has no activity yet