avatar

Adrian De Lon

@adelon@mathstodon.xyz

Joined: 07/06/2022



About Adrian De Lon

PhD candidate in formal mathematics at the University of Bonn

Lists

adelon has no public lists

Timeline

adelon has no activity yet