Adrian De Lon
@adelon@mathstodon.xyz
Joined: 06/07/2022
About Adrian De Lon
PhD candidate in formal mathematics at the University of Bonn
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@adelon@mathstodon.xyz
Joined: 06/07/2022
PhD candidate in formal mathematics at the University of Bonn
{username} has no public lists
{username} has no activity yet