Geeks
Lean-zh
/
mp-lean-zh
Lean 4 元编程
Primary Language
Lean
Apache License 2.0
Apache-2.0
mp-lean-zh Home Page
mp-lean-zh GitHub
Markdown
Readme
0
Issues
5
Stargazers
0
Watchers
Stargazers
amzonsir
HCHogan
Apple Inc.
hmyuuu
Light-of-Hers
Peking University
subfish-zhou
Prague