LeanScreen: Lean Verification
Hdjlaf
30 points
3 comments
July 29, 2026
Related Discussions
Found 5 related stories in 75.9ms across 6,278 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
- OpenAI’s Navier-Stokes release included a Lean 4 formal proof ibobev · 153 pts · September 10, 2026 · 54% similar
- Are We Stuck with Lean? jjgreen · 135 pts · July 30, 2026 · 53% similar
- AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug YeGoblynQueenne · 14 pts · July 30, 2026 · 52% 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