LeanScreen: Lean VerificationBy Hdjlaf · 2026-07-29 · 30 points · 3 commentshttps://www.millenniumresearch.ai/leanscreen.htmlBy Hdjlaf · 30 points · 3 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews