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.
人気のあるユーザー
