H.E. Justin Sun ๐จโ๐ ๐
@justinsuntron
๐จโ๐ป Entrepreneur | ๐คตโโ๏ธ Diplomat | ๐จโ๐ Astronaut #712# | ๐ Art Collector | Founder @trondao | Advisor | Chinese @sunyuchentron
๊ฐ์
August 2017
3.9K ํ๋ก์ ์ค 4.3M ํฌ
The first #JustinSunPrize# candidates are in a 14-day public review that began Sept 19.
The first #JustinSunPrize# candidates are in a 14-day public review that began Sept 19.
Contributions span mathematical solutions and Lean formalization for problems 305, 371, 381, 526, 866 and 1001.
Details and formal challenge procedures๐
๋ ๋ณด๊ธฐ
