Tag: 形式化验证 - Hexo

- Blog
- Categories
- Tags
- Archievs
- Friends
- About
- Dark

Archer's blog

Lean 入门

什么是形式化验证Lean的核心思想是将证明转换成可以被检查的对象，而lean就是负责检查其正确与否的工具。

2026-05-16 编程