Skip to content
Lean Prover 中文文档
lean-jupyter
Initializing search
Lean-zh
主页
交互工具
项目教程
Mathlib4Help
贡献指南
Lean Prover 中文文档
Lean-zh
主页
主页
Lean-zh
安装指南
Lean4 工具链
Lake 包管理
项目示例 - 元编程
交互工具
交互工具
交互工具
LeanDojo 教程
REPL 教程
Polyrith 策略
PantoGraph 教程
PyPantoGraph 教程
aesop教程
duper教程
leansearch教程
lean-jupyter
项目教程
项目教程
Lean4web 在线编译器
jixia 数据分析
Lean4Game 教程
Verso 教程
Mathlib4Help
Mathlib4Help
Mathlib4Help
attributes
commands
options
tactics
贡献指南
Lean4 Juptyer
¶
基于 REPL 的 Jupyter Kernel。
项目地址：
https://github.com/utensil/lean4_jupyter