ChrSzegedy
@0808405080840583
RT @leanprover: We are proud to see Lean in the New York Times again! Harmonic founders Vlad Tenev and Tudor Achim were featured in the NYT…
0 reply
0 recast
0 reaction