ladberg Karma 3,466 Created 8 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 · 7 months ago · 0 comments All submissions on HN · View profile on HN