lean

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