leanprover / lean4
8,707 LeanLean 4 programming language and theorem prover
No Explicit API Specification Located
This repository does not currently contain a static OpenAPI, Swagger, or GraphQL schema file. You can still access its complete technical documentation or agent skill rules below: