leanpy

一个试图在 Python 中复现 Lean 4 依赖类型系统的实验项目。不是为了跟 Lean 竞争，而是为了理解——通过亲手实现类型检查、合一、归纳类型等核心机制，来深入理解现代类型论的内部运作。纯 Python 标准库，零外部依赖。