Geeks
Lean-zh
/
GlimpseOfLean
Lean 定理证明初探
Primary Language
Lean
Apache License 2.0
Apache-2.0
GlimpseOfLean Home Page
GlimpseOfLean GitHub
Markdown
Readme
1
Issue
3
Stargazers
0
Watchers
Stargazers
amzonsir
ck76
NEUQ -> Keio University
HongLI3