LeanPort: Bringing Lean 4 Verified Modules Into Golang dev.to· rss · ▲ 0 points · Oct 21, 2026 DEV Community LeanPort: Bringing Lean 4 Verified Modules Into Golang Hello, I'm Shrijith Venkatramana, and I'm building LiveReview — a blast-radius aware AI code review...
0 comments
No comments yet.