← Back to feed

Parallel and distributed programming for Lean using composable monadic programs

IT·开源 · 2026-11-01 15:18

A GitHub project proposes using composable monadic programs to enable parallel and distributed programming for the Lean language, though the captured page content shows only GitHub navigation and product descriptions with no technical details.

Source: github.com

Auto-generated summary for reference only. RSS