Sebastian Ullrich
@kha@functional.cafe
Joined: 01/10/2023
About Sebastian Ullrich
makes Lean at Lean FRO
Munich, Germany
{n, plural, =1 {List} other {Lists}}
{username} has no public lists
Timeline
{username} has no activity yet
@kha@functional.cafe
Joined: 01/10/2023
makes Lean at Lean FRO
Munich, Germany
{username} has no public lists
{username} has no activity yet