lean

标签 - lean
2021
交互式定理证明器 | Lean 简介
交互式定理证明器 | Lean 简介
avatar
Rex
Math + Computer = ?
文章
94
标签
28
分类
7
Follow Me
公告
新功能陆续上线，欢迎交流！干杯！！！
分类
标签
CAS Docker FRP GPT Julia Julia-Note LaTeX Lie Mathematica MySQL Nginx OSPP Python Ruffle chat git haskell hexo lean leetcode markdown qrcode sage shell ubuntu vscode wordpress zsh
归档