Putnam 竞赛深度调研报告

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

2025

10-28

Putnam 竞赛深度调研报告

10-17

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

10-16

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

10-10

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

10-09

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

07-26

Blueprint 技术指南 ｜ 构建数学协作新生态

02-14

Lean4 项目实战指南

2024

12-29

Lean4 REPL 使用教程

12-15

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

11-17

AIMO | Kaggle 本地环境搭建