LeanDojo | 为 Lean 定理证明器搭建桥梁

LEAN 标签

2024

07-07

LeanDojo | 为 Lean 定理证明器搭建桥梁

06-04

数学形式化 | Lean4Game 教程

2023

11-14

Lean & GPT | 构建自己的 GPT

11-13

Lean 4 安装教程