Post #2883960

@Vierkantor@mastodon.vierkantor.com (Hi Anne! We hung out a long time ago at a HoTT/UF summer school in Birmingham) sadly Lean's leadership and marketing contributes a fair amount to this very same culture..