pythagoras4
所属分类：数值算法/人工智能
开发工具：Lean
文件大小：33KB
下载次数：0
上传日期：2023-05-26 19:02:33
上 传 者：
sh-1993
说明： 毕达哥拉斯定理的许多证明-Lean 4
(Many proofs of the Pythagoras theorem - Lean 4)
文件列表:
Pythagoras.lean (157, 2023-05-27)
Pythagoras (0, 2023-05-27)
Pythagoras\convex_polygon.lean (451, 2023-05-27)
Pythagoras\euclid_I_extras.lean (21467, 2023-05-27)
Pythagoras\euclid_VI.lean (25900, 2023-05-27)
Pythagoras\proportion.lean (7085, 2023-05-27)
Pythagoras\pythagoras_2.lean (2377, 2023-05-27)
doc (0, 2023-05-27)
doc\Pythagoras (0, 2023-05-27)
doc\Pythagoras\convex_polygon.lean (397, 2023-05-27)
doc\Pythagoras\euclid_I_extras.lean (6906, 2023-05-27)
doc\Pythagoras\euclid_VI.lean (7609, 2023-05-27)
doc\Pythagoras\proportion.lean (1406, 2023-05-27)
doc\Pythagoras\pythagoras_2.lean (410, 2023-05-27)
doc\lean_cheatsheet.lean (5607, 2023-05-27)
doc\migration_cheatsheet.lean (775, 2023-05-27)
lakefile.lean (276, 2023-05-27)
scripts (0, 2023-05-27)
scripts\gen_basefile (203, 2023-05-27)
scripts\gendoc (3084, 2023-05-27)
scripts\sorrify_3to4.py (1561, 2023-05-27)
snippets (0, 2023-05-27)
snippets\lean.json (2010, 2023-05-27)
近期下载者：
相关文件：
收藏者：