{
 "id": "lean-4-file-format",
 "name": "Lean 4 file format",
 "family": "lean-file-format-family",
 "category": "text",
 "identifiers": {
  "extensions": [
   "lean"
  ],
  "mime": [
   "text/x-lean4"
  ],
  "wikidata": [
   "Q130224300"
  ]
 },
 "status": "writable",
 "summary": "file format",
 "tools": [
  {
   "name": "Lean",
   "url": "https://lean-lang.org/",
   "reads": true,
   "writes": true,
   "license": "Apache Software License 2.0",
   "open_source": true
  },
  {
   "name": "Pygments",
   "url": "https://pygments.org/",
   "reads": true,
   "writes": false,
   "license": "2-clause BSD License",
   "open_source": true
  }
 ],
 "projects": [
  {
   "name": "Wikidata Q130224300",
   "url": "https://www.wikidata.org/wiki/Q130224300",
   "kind": "wiki"
  }
 ],
 "provenance": {
  "sources": [
   "wikidata"
  ]
 },
 "updated": "2026-10-20",
 "parsers": [],
 "conversions": []
}