LeanScreen: Lean Verification
Hdjlaf
30 points
3 comments
July 29, 2026
Related Discussions
Found 5 related stories in 386.8ms across 15,510 title embeddings via pgvector HNSW
- Lf-lean: The frontier of verified software engineering alpaylan · 18 pts · March 12, 2026 · 63% similar
- Leanstral: Open-source agent for trustworthy coding and formal proof engineering Poudlardo · 407 pts · March 16, 2026 · 55% similar
- “Why not just use Lean?” ibobev · 271 pts · April 27, 2026 · 55% similar
- Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects kbradero · 11 pts · July 29, 2026 · 55% similar
- Are We Stuck with Lean? jjgreen · 135 pts · July 30, 2026 · 53% 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