About: Lean (proof assistant)

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Software for interactive and automated theorem proving

Property	Value
dbo:description	perangkat lunak (in) demostrador de teoremas (es) assistant de preuve (fr) نرم افزار اثبات تعاملی و خودکار قضایا (fa) Software für interaktives Theorembeweisen (de) инструмент интерактивного доказательства теорем (ru) software for interactive and automated theorem proving (en) 定理証明支援系 (ja)
dbo:developer	https://lean-fro.org/
dbo:influencedBy	dbr:Haskell dbr:Coq_(software) dbr:ML_(programming_language)
dbo:license	dbr:Apache_License
dbo:thumbnail	wiki-commons:Special:FilePath/Lean_logo2.svg?width=300
dbo:wikiPageExternalLink	https://leanprover-community.github.io/ https://leanprover.github.io/ https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ https://github.com/leanprover-community/lean https://github.com/leanprover-community/lean/releases/tag/v3.48.0 https://github.com/leanprover/lean4 https://github.com/leanprover/lean4/releases/tag/v4.0.0-m5
dbo:wikiPageWikiLink	dbr:Microsoft_Research dbr:Inductive_type dbr:Functional_programming dbr:Imperative_programming dbr:C++ dbc:Functional_languages dbc:Microsoft_free_software dbc:Microsoft_programming_languages dbr:LaTeX dbr:Strong_and_weak_typing dbr:Haskell dbr:Proof_assistant dbr:Type_theory dbc:Free_and_open-source_software dbc:Free_software_programmed_in_C++ dbc:Software_using_the_Apache_license dbr:Thomas_Callister_Hales dbr:Programming_language dbr:Coq dbr:Dependent_type dbr:Imperial_College_London dbc:Educational_math_software dbc:Microsoft_Research dbr:Calculus_of_constructions dbr:ML_(programming_language) dbr:Agda_(programming_language) dbc:Dependently_typed_languages dbc:Proof_assistants dbr:Type_inference dbr:Kevin_Buzzard dbc:Programming_languages_created_in_2013 dbr:Mimalloc dbr:Apache_License_2.0 dbr:Cross-platform dbr:Static_typing
dbp:developer	https://lean-fro.org/
dbp:family	dbr:Proof_assistant
dbp:influencedBy	dbr:Haskell dbr:Coq_(software) dbr:ML_(programming_language)
dbp:license	dbr:Apache_License
dbp:logo	Lean logo2.svg (en)
dbp:name	Lean (en)
dbp:operatingSystem	dbr:Cross-platform_software
dbp:paradigm	dbr:Functional_programming dbr:Imperative_programming
dbp:programmingLanguage	Lean, C++ (en)
dbp:typing	dbr:Strong_and_weak_typing dbr:Type_system dbr:Type_inference
dbp:website	https://lean-lang.org/
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Start_date_and_age dbt:Reflist dbt:See_also dbt:Microsoft_Research dbt:And dbt:Infobox_programming_language dbt:Microsoft_development_tools dbt:Wikidata dbt:Microsoft_FOSS dbt:Mvar dbt:Short_description
dct:subject	dbc:Functional_languages dbc:Microsoft_free_software dbc:Microsoft_programming_languages dbc:Free_mathematics_software dbc:Free_and_open-source_software dbc:Free_software_programmed_in_C++ dbc:Software_using_the_Apache_license dbc:Theorem_proving_software_systems dbc:Educational_math_software dbc:Microsoft_Research dbc:Dependently_typed_languages dbc:Proof_assistants dbc:Programming_languages_created_in_2013
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 schema:Language
rdfs:label	Lean (proof assistant) (en) Lean (assistant de preuve) (fr) Lean (ru)
rdfs:seeAlso	dbr:Proof_assistant
owl:sameAs	wikidata:Lean (proof assistant) dbpedia-fr:Lean (proof assistant) dbpedia-ru:Lean (proof assistant) dbpedia-vi:Lean (proof assistant) dbpedia-global:Lean (proof assistant)
prov:wasDerivedFrom	wikipedia-en:Lean_(proof_assistant)?oldid=1295321736&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Lean_logo2.svg
foaf:homepage	https://lean-lang.org/ https://leanprover-community.github.io/
foaf:isPrimaryTopicOf	wikipedia-en:Lean_(proof_assistant)
foaf:name	Lean (en)
foaf:page	https://lean-lang.org/
is dbo:influencedBy of	dbr:F_(programming_language)__F__1
is dbo:wikiPageDisambiguates of	dbr:Lean
is dbo:wikiPageRedirects of	dbr:Lean_theorem_prover dbr:Lean_(programming_language)
is dbo:wikiPageWikiLink of	dbr:Isabelle_(proof_assistant) dbr:F*_(programming_language) dbr:List_of_programming_languages_by_type dbr:Proof_assistant dbr:Type_theory dbr:Cons dbr:Hilbert's_basis_theorem dbr:Interactive_Theorem_Proving_(conference) dbr:Sphere_eversion dbr:Dependent_type dbr:QED_manifesto dbr:Leonardo_Moura dbr:Metamath dbr:Lean dbr:Cap_set dbr:Mimalloc dbr:List_of_programming_languages dbr:Perfectoid_space dbr:Condensed_mathematics dbr:Lean_theorem_prover dbr:Lean_(programming_language)
is dbp:influencedBy of	dbr:F*_(programming_language)
is owl:differentFrom of	dbr:Lean_software_development
is foaf:primaryTopic of	wikipedia-en:Lean_(proof_assistant)