数学小站

  • 首页
  • 关于
  • 标签
  • 分类
  • 归档
  • 搜索
  • 文章目录
  • 站点概览
  1. 1. 唠唠闲话
Rex Wang

Rex Wang

符号计算 & 形式化
34 日志
4 分类
9 标签
GitHub E-Mail

lean-client

发表于 2025-11-05 阅读次数: 字数: 53 时间 ≈ 1 分钟

唠唠闲话

LeanClient - 与 Lean 4 语言服务器交互
粤ICP备2021109780号
© 2023 – 2025 Rex Wang
0%