http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=Lean 2026-04-10T11:30:32Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=Lean&diff=167032&oldid=prev 2024-08-10T11:28:11Z

<p>‎<span dir="auto"><span class="autocomment">链接</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2024年8月10日 (六) 11:28的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第36行：</td> <td colspan="2" class="diff-lineno">第36行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:c++]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:c++]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:programming language]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:programming language]]</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[category:Huihoo Foundation]]</ins></div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=167031&oldid=prev 2024-08-10T11:27:21Z

<p>‎<span dir="auto"><span class="autocomment">简介</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2024年8月10日 (六) 11:27的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第6行：</td> <td colspan="2" class="diff-lineno">第6行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==简介==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==简介==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Lean 是一种定理验证器（theorem prover）和编程语言，它是基于具有归纳类型（inductive types）的构造微积分（calculus of constructions）。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Lean 是一种定理验证器（theorem prover）和编程语言，它是基于具有归纳类型（inductive types）的构造微积分（calculus of constructions）。</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">==新闻==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://www.163.com/dy/article/IL9DAULT0511ABV6.html 陶哲轩使用Blueprint在Lean4中形式化多项式Freiman-Ruzsa猜想的证明过程] (2023.12.05)</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==功能==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==功能==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=166118&oldid=prev 2022-10-14T11:50:27Z

<p>‎<span dir="auto"><span class="autocomment">项目</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年10月14日 (五) 11:50的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第18行：</td> <td colspan="2" class="diff-lineno">第18行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/digama0/mm0 Metamath Zero] 包含一些工具和验证器以及以 Metamath Zero 语言为中心的规范组成，支持 [[Haskell]], Lean, [[Rust]], [[C programming language|C]].</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/digama0/mm0 Metamath Zero] 包含一些工具和验证器以及以 Metamath Zero 语言为中心的规范组成，支持 [[Haskell]], Lean, [[Rust]], [[C programming language|C]].</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/Kha/electrolysis electrolysis] import [[Rust]] to Lean</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/Kha/electrolysis electrolysis] import [[Rust]] to Lean</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">==文档==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://leanprover.github.io/theorem_proving_in_lean/index.html Theorem Proving in Lean]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">==图书==</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=164695&oldid=prev 2022-06-12T04:07:58Z

<p>‎<span dir="auto"><span class="autocomment">链接</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年6月12日 (日) 04:07的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第26行：</td> <td colspan="2" class="diff-lineno">第26行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:formal]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:formal]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:proof assistant]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:proof assistant]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">[[category:lean]]</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:c++]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:c++]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:programming language]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:programming language]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=164694&oldid=prev 2022-06-12T03:56:09Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年6月12日 (日) 03:56的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第12行：</td> <td colspan="2" class="diff-lineno">第12行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[http://github.com/leanprover/lean4 Lean 4 @ GitHub]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://github.com/leanprover Lean Prover]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://leanprover-community.github.io/lean_projects.html Projects using Lean]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://leanprover-community.github.io/lean_projects.html Projects using Lean]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/leanprover-community/mathlib Lean mathlib]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/leanprover-community/mathlib Lean mathlib]</div></td></tr> <tr><td colspan="2" class="diff-lineno">第21行：</td> <td colspan="2" class="diff-lineno">第23行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==链接==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==链接==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://leanprover.github.io/ Lean官网]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://leanprover.github.io/ Lean官网]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">*[http://github.com/leanprover/lean4 Lean 4 @ GitHub]</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:formal]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:formal]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:proof assistant]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:proof assistant]]</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[category:lean]]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:c++]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:c++]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:programming language]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:programming language]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=160880&oldid=prev 2022-02-16T06:56:49Z

<p>‎<span dir="auto"><span class="autocomment">项目</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年2月16日 (三) 06:56的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第15行：</td> <td colspan="2" class="diff-lineno">第15行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/leanprover-community/mathlib Lean mathlib]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/leanprover-community/mathlib Lean mathlib]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/digama0/mm0 Metamath Zero] 包含一些工具和验证器以及以 Metamath Zero 语言为中心的规范组成，支持 [[Haskell]], Lean, [[Rust]], [[C programming language|C]].</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/digama0/mm0 Metamath Zero] 包含一些工具和验证器以及以 Metamath Zero 语言为中心的规范组成，支持 [[Haskell]], Lean, [[Rust]], [[C programming language|C]].</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://github.com/Kha/electrolysis electrolysis] import [[Rust]] to Lean</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=160703&oldid=prev 2022-02-13T03:54:20Z

<p>‎<span dir="auto"><span class="autocomment">项目</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年2月13日 (日) 03:54的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第14行：</td> <td colspan="2" class="diff-lineno">第14行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://leanprover-community.github.io/lean_projects.html Projects using Lean]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://leanprover-community.github.io/lean_projects.html Projects using Lean]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/leanprover-community/mathlib Lean mathlib]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/leanprover-community/mathlib Lean mathlib]</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://github.com/digama0/mm0 Metamath Zero] 包含一些工具和验证器以及以 Metamath Zero 语言为中心的规范组成，支持 [[Haskell]], Lean, [[Rust]], [[C programming language|C]].</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=160701&oldid=prev 2022-02-13T03:13:00Z

<p>‎<span dir="auto"><span class="autocomment">项目</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年2月13日 (日) 03:13的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第12行：</td> <td colspan="2" class="diff-lineno">第12行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[https://leanprover-community.github.io/lean_projects.html Projects using Lean]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*</ins>[https://leanprover-community.github.io/lean_projects.html Projects using Lean<ins class="diffchange diffchange-inline">]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*[https://github.com/leanprover-community/mathlib Lean mathlib</ins>]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=160700&oldid=prev 2022-02-13T02:47:15Z

<p>‎<span dir="auto"><span class="autocomment">项目</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年2月13日 (日) 02:47的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第12行：</td> <td colspan="2" class="diff-lineno">第12行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://leanprover-community.github.io/lean_projects.html Projects using Lean]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=Lean&diff=160684&oldid=prev 2022-02-13T01:36:17Z

<p>以“{{SeeWikipedia|Lean (proof assistant)}} Lean <a href="/wiki/%E6%96%87%E4%BB%B6:Lean-logo.png" title="文件:Lean-logo.png">Lean</a> ==简介== Lean 是一种定理验证器（theorem prover）和编程语言，它...”为内容创建页面</p> <p><b>新页面</b></p><div>{{SeeWikipedia|Lean (proof assistant)}}<br /> <br /> Lean<br /> [[文件:lean-logo.png|right|Lean]]<br /> <br /> ==简介==<br /> Lean 是一种定理验证器（theorem prover）和编程语言，它是基于具有归纳类型（inductive types）的构造微积分（calculus of constructions）。<br /> <br /> ==功能==<br /> <br /> ==指南==<br /> <br /> ==项目==<br /> <br /> ==图集==<br /> <br /> ==链接==<br /> *[https://leanprover.github.io/ Lean官网]<br /> *[http://github.com/leanprover/lean4 Lean 4 @ GitHub]<br /> <br /> [[category:formal]]<br /> [[category:proof assistant]]<br /> [[category:c++]]<br /> [[category:programming language]]</div>

Allen