Parallel and distributed programming for Lean using composable monadic programs
By andsoitis · 2026-11-01 · 2 points · 0 comments
https://github.com/palladin/lean-cloud
By andsoitis · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews