Lean4 REPL 使用教程

嗯..! 目前共计 27 篇日志。 继续努力。

2024

12-29

Lean4 REPL 使用教程

12-15

elan 和 lake 基本用法

12-15

Lean 教程(二) ｜ 函数式编程

12-02

pantograph

11-28

Lean 代码交互方案

11-26

Alphaproof 技术解析，策略及研究

11-17

AIMO | Kaggle 本地环境搭建

10-15

AlphaProof 解题分析与启发 | IMO 系列

10-15

ICLR 2025 | 数学形式化工作速览

10-11

Numina 代码解析与复现