Parallel and distributed programming for Lean using composable monadic programs

This project provides parallel and distributed programming for Lean using composable monadic programs, which may be useful for prototyping or internal workflows