dan’s alt
@dan_abramov
secret alt of @dan_abramov2
ID:70345946
31-08-2009 08:28:07
101,8K Tweets
388,1K Followers
701 Following
Follow People
hi Open Core Summit (OCS), is there a live stream link somewhere? i believe i’ve registered using the form but 'my ticket' link just goes to a page that shows the values from that form. i don’t see any stream. thanks!
Oh, weird coincidence! Two flagship Lean math projects finish within 24 hours of each other. This one (Kummer's 1850 proof of FLT for regular primes) took two years, partly because of the upgrade from Lean 3 to Lean 4 during that time. See leanprover.zulipchat.com/#narrow/stream… for more.