palladin/lean-cloud

Cloud programming for Lean

2 best points · 0 comments · 1 Hacker News post · 29 GitHub stars · View on GitHub

Hacker News discussions

• Parallel and distributed programming for Lean using composable monadic programs (2 points, 0 comments, by andsoitis, 2026-11-01)