Sebastian Ullrich

makes Lean at Lean FRO

Munich, Germany

[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]