Parallel and distributed programming for Lean using composable monadic programs

(github.com) by andsoitis | Nov 1, 2026 | 0 comments on HN