Tags · Lean

2025

04-13 学习在 Lean4 中使用 Parser Combinator

04-08 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器

2024

09-03 使 Hexo 支持高亮 Lean

09-03 Lean 初见笔记