LeanScreen: Lean Verification
Hdjlaf
30 points
3 comments
July 29, 2026
Related Discussions
Found 5 related stories in 251.9ms across 15,236 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
- Lean Software Scaling Laws gmays · 18 pts · July 05, 2026 · 51% 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