Skip to content

Lean 4 file format

Writable

text

file format

Identify it

Extensions	`.lean`
MIME types	`text/x-lean4`
Wikidata	`Q130224300`

Not sure your file is this? Identify it from its first bytes, in your browser.

Open it

LeanOpen sourcereads and writes · Apache Software License 2.0
PygmentsOpen sourcereads · 2-clause BSD License

Convert it

No conversion recorded. One of the tools above may export it; search for a chain.

Sources

Wikidata Q130224300

From Wikidata. Updated 2026-10-20.

Improve this record JSON