Fredrik Bakke
@FredrikBakke@mathstodon.xyz
Joined: 03/03/2024
About Fredrik Bakke
PhD student from Norway formalizing lots of stuff in univalent type theory using Agda
Lists
FredrikBakke has no public lists
Timeline
FredrikBakke has no activity yet
@FredrikBakke@mathstodon.xyz
Joined: 03/03/2024
PhD student from Norway formalizing lots of stuff in univalent type theory using Agda
FredrikBakke has no public lists
FredrikBakke has no activity yet