ladberg Karma 3,476 Created 9 years ago About Contact me at hackernews@leoadberg.com Recent Submissions 1. ▲ Alleged Navier Stokes Existence and Smoothness Proof in Lean (twitter.com) 2 points · 9 months ago · 0 comments All submissions on HN · View profile on HN