Lean 4

MCP Server API About

Lean 4

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover

Latest

Completed

Tokens:96,214

Snippets:728

QAs:0

Update:2 months ago (5/7/2025)

Search by topic

Show docs for...

Result

Tokens:

Lean 4