2025年6月29日
SciTech-Mathmatics-Lean : 数学推导的自动化形式化证明语言
摘要： SciTech-Mathmatics-Lean : 数学推导的自动化形式化证明语言 Official Site https://lean-lang.org/documentation/ Lean4 - Mathlib4 / 用于形式化数学的准备 (1) 何为 Lean ? Lean is a fun 阅读全文
posted @ 2025-06-29 22:40 abaelhe 阅读(11) 评论(0) 推荐(0)