Parallel and distributed programming for Lean using composable monadic programs

2 points | by andsoitis an hour ago

No comments yet