Tags · Lean
2025
04-13 学习在 Lean4 中使用 Parser Combinator
04-08 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器
2024
09-03 使 Hexo 支持高亮 Lean
09-03 Lean 初见笔记
04-13 学习在 Lean4 中使用 Parser Combinator
04-08 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器
09-03 使 Hexo 支持高亮 Lean
09-03 Lean 初见笔记