使用Lean 4 的Mathlib 库的数学知识图谱
Të dhënat dhe burimet
Info shtesë
Fusha | Vlera |
---|---|
Autor | 陈寅杰,葛郅琦,夏家桢 |
Mirëmbajtësi | 葛郅琦 |
Ndryshuar së fundmi | 9 Shkurt 2024, 05:43 (UTC+00:00) |
U krijua | 9 Shkurt 2024, 05:43 (UTC+00:00) |
Fusha | Vlera |
---|---|
Autor | 陈寅杰,葛郅琦,夏家桢 |
Mirëmbajtësi | 葛郅琦 |
Ndryshuar së fundmi | 9 Shkurt 2024, 05:43 (UTC+00:00) |
U krijua | 9 Shkurt 2024, 05:43 (UTC+00:00) |