LeanClient
JSON →LeanClient is a Python library for interacting with the Lean theorem prover language server. It provides a client interface to the Lean 4 server, enabling automated theorem proving, project manipulation, and environment queries. Current version is 0.10.0, with a monthly release cadence.
Traffic · last 30 days stale · no recent hits
total hits 12
actors 4 distinct systems
last hit 16d ago AhrefsBot
top countries 🇺🇸 United States · 🇸🇬 Singapore · 🇨🇦 Canada · 🇩🇪 Germany