lean-client

还行! 目前共计 34 篇日志。 继续努力。

2025

11-05

lean-client

11-05

LeanClient - 与 Lean 4 语言服务器交互

10-31

Putnam 数学竞赛赛题分析

10-31

未命名

10-28

lie-algebra-2021

10-28

Putnam 数学竞赛介绍

10-17

Lean 元编程基础(一) | 全书概要

10-16

Lean 函数式编程(三) | 单子

10-10

Lean 函数式编程(二) | 重载与类型类

10-09

Lean 函数式编程(一) | 了解 Lean