Lewis Wanjohi

Founder — San Francisco, MIT Math & CS Nerd working on Applied Category Theory + HoTT