{
"id": "language:lean",
"_kind": "Language",
"_file": "domain/languages/lean.yaml",
"_cluster": "domain",
"attributes": {
"displayName": "Lean",
"paradigms": [
"functional",
"dependently-typed",
"proof-assistant"
],
"description": "Lean — a dependently-typed functional programming language and\ntheorem prover (Lean 4) developed by Microsoft Research / the Lean\nFRO, paired with the mathlib mathematics library.\n"
},
"outgoingEdges": [],
"incomingEdges": []
}