avatar

Sebastian Ullrich

@kha@functional.cafe

Joined: 10/01/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