Ken Ono @KenOno691 · 03 Sep 2026
Congrats to Youness Lamzouri for a beautiful masterpiece! We were fortunate to formalize it in Lean. Math in the future can appear with a machine-checked certificate.
18 309Views
239Likes
41Reposts
9Replies
0Quotes
62Bookmarks
Is that a lot?
1.01×vs this author's median18 192 views is typical
50Percentile for this authorof 6 recent posts
6.17×vs 10K–100K median2 968 views is typical
27.06%Reachviews ÷ followers
1.58%Engagement rateof viewers reacted