AI大模型¶
Link¶
课程¶
Lean¶
- 在Ubuntu/Windows下安装Lean and mathlib.
- Lean4证明器正式版的安装教程.
- Lean projects.
- 【Lean】Peano公理.
- Geek学院三期讲座：Lean的初步介绍.
- Geek学院三期讲座：通向Langlands纲领——代数数论简介.
- Lean4 Windows安装.
- 2024.11 Lean安装配置（Linux+Windows）.
函数式编程与形式化定理证明¶
- 函数式编程讨论班（第一讲：环境安装）.
- 函数式编程与形式化定理证明（第2讲：Haskell基本语法）.
- 函数式编程与形式化定理证明讨论班【第4讲：haskell进阶】.
- 函数式编程与形式化证明讨论班（第5讲：Lean证明初步）.
- 函数式编程与形式化定理证明讨论班【第6讲：继续haskell进阶】.
Haskell 函数式编程 零基础入门教程¶
网址
| Text Only | |
|---|---|
1 | |