lean4安装

目录

lean4安装windows

证明等比数列和函数函数

---

lean4安装windows

lean4 windows一键安装（全网最简单的安装流程）_lean4安装-CSDN博客

证明等比数列和函数函数

import Mathlib.Data.Real.Basic  -- 导入实数基础库
import Mathlib.Tactic.Simps.Basic  -- 导入简化策略
import Mathlib.Data.Finset.Basic  -- 导入Finset库以使用范围函数

open