Sriram Krishnan
@sriramk
ex-white house, a16z -
가입 December 2006
4.2K 팔로잉 중 316.8K 팬
one side effect of the math work solved by leading models is exposing a bunch of us to Lean for formal proofs.
wasn’t familiar with how broadly adopted it had gotten in the math community last decade. has been fun to get into.
더 보기
