Jinyan Su
@SuJinyan6
가입 July 2021
236 팔로잉 중 5.6K 팬
My thoughts on whether it is still meaningful to have human understand the proof when everyone can use lean to prove math that they don't understand.
인기 있는 사용자
