New version: Lean.Lean version 4.23.0 (microsoft#292965)

Author: spectopo

manifests/l/Lean/Lean/4.23.0/Lean.Lean.installer.yaml

@@ -0,0 +1,22 @@
+# Created with YamlCreate.ps1 Dumplings Mod
+# yaml-language-server: $schema=https://aka.ms/winget-manifest.installer.1.10.0.schema.json
+
+PackageIdentifier: Lean.Lean
+PackageVersion: 4.23.0
+InstallerType: zip
+NestedInstallerType: portable
+NestedInstallerFiles:
+- RelativeFilePath: lean-4.23.0-windows\bin\lake.exe
+- RelativeFilePath: lean-4.23.0-windows\bin\lean.exe
+- RelativeFilePath: lean-4.23.0-windows\bin\leanc.exe
+Commands:
+- lean
+- leanc
+ReleaseDate: 2025-09-14
+ArchiveBinariesDependOnPath: true
+Installers:
+- Architecture: x64
+  InstallerUrl: https://github.com/leanprover/lean4/releases/download/v4.23.0/lean-4.23.0-windows.zip
+  InstallerSha256: 062653F40C6936CD97AF036BD4812FF15C4DC4875FD7C53DA72A5B8522C22A1A
+ManifestType: installer
+ManifestVersion: 1.10.0

manifests/l/Lean/Lean/4.23.0/Lean.Lean.locale.en-US.yaml

@@ -0,0 +1,40 @@
+# Created with YamlCreate.ps1 Dumplings Mod
+# yaml-language-server: $schema=https://aka.ms/winget-manifest.defaultLocale.1.10.0.schema.json
+
+PackageIdentifier: Lean.Lean
+PackageVersion: 4.23.0
+PackageLocale: en-US
+Publisher: Lean FRO
+PublisherUrl: https://lean-fro.org/
+PublisherSupportUrl: https://github.com/leanprover/lean4/issues
+PrivacyUrl: https://lean-lang.org/about/privacy-policy
+Author: Lean FRO
+PackageName: Lean
+PackageUrl: https://lean-lang.org/
+License: Apache-2.0
+LicenseUrl: https://github.com/leanprover/lean4/blob/HEAD/LICENSE
+ShortDescription: Programming Language and Theorem Prover
+Description: |-
+  Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
+  - Type inference
+  - First-class functions
+  - Powerful data types
+  - Pattern matching
+  - Type classes
+  - Extensible syntax
+  - Hygienic macros
+  - Dependent types
+  - Metaprogramming framework
+  - Multithreading
+  - Verification: you can prove properties of your functions using Lean itself
+Tags:
+- language
+- programming
+- programming-language
+- theorem-prover
+ReleaseNotesUrl: https://github.com/leanprover/lean4/releases/tag/v4.23.0
+Documentations:
+- DocumentLabel: Documentation
+  DocumentUrl: https://lean-lang.org/documentation/
+ManifestType: defaultLocale
+ManifestVersion: 1.10.0

manifests/l/Lean/Lean/4.23.0/Lean.Lean.locale.zh-CN.yaml

@@ -0,0 +1,31 @@
+# Created with YamlCreate.ps1 Dumplings Mod
+# yaml-language-server: $schema=https://aka.ms/winget-manifest.locale.1.10.0.schema.json
+
+PackageIdentifier: Lean.Lean
+PackageVersion: 4.23.0
+PackageLocale: zh-CN
+ShortDescription: 编程语言和定理证明器
+Description: |-
+  Lean 是一门函数式编程语言，它能帮助开发者轻松编写正确且可维护的代码。您也可以将 Lean 作为交互式定理证明器使用。Lean 编程的核心在于定义类型与函数，这种方式能让您专注于问题领域及其数据操作，而非编程细节。Lean 拥有丰富的特性，包括：
+  - 类型推断
+  - 头等函数
+  - 强大的数据类型
+  - 模式匹配
+  - Type 类
+  - 可扩展语法
+  - 卫生宏
+  - 依值类型
+  - 元编程框架
+  - 多线程支持
+  - 验证功能：您可以直接使用 Lean 证明函数的属性
+Tags:
+- 定理证明
+- 编程
+- 编程语言
+- 语言
+ReleaseNotesUrl: https://github.com/leanprover/lean4/releases/tag/v4.23.0
+Documentations:
+- DocumentLabel: 文档
+  DocumentUrl: https://lean-lang.org/documentation/
+ManifestType: locale
+ManifestVersion: 1.10.0

manifests/l/Lean/Lean/4.23.0/Lean.Lean.yaml

@@ -0,0 +1,8 @@
+# Created with YamlCreate.ps1 Dumplings Mod
+# yaml-language-server: $schema=https://aka.ms/winget-manifest.version.1.10.0.schema.json
+
+PackageIdentifier: Lean.Lean
+PackageVersion: 4.23.0
+DefaultLocale: en-US
+ManifestType: version
+ManifestVersion: 1.10.0