LeanScreen: Lean Verification
Hdjlaf
30 points
3 comments
July 29, 2026
Related Discussions
Found 5 related stories in 144.6ms across 10,677 title embeddings via pgvector HNSW
- Lean Eval for Alignment on Faithfulness asdajksbda · 103 pts · August 11, 2026 · 70% similar
- Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects kbradero · 11 pts · July 29, 2026 · 55% similar
- A Critical Look at Lean4 amanverasia · 15 pts · October 12, 2026 · 55% similar
- OpenAI’s Navier-Stokes release included a Lean 4 formal proof ibobev · 153 pts · September 10, 2026 · 54% similar
- What mathematicians should know about the Lean Theorem Prover: reliability & AI matt_d · 76 pts · October 09, 2026 · 54% similar
Discussion Highlights (3 comments)
sdfjsfd
When Will you release paid version and is pay as you go or how much
sdfjsfd
When are we getting to see the math research
sjnknsnf
What are your backgrounds