issues
search
Lean-zh
/
math-in-lean-zh
The user home repository for the Mathematics in Lean tutorial.
http://www.leanprover.cn/math-in-lean-zh/
6
stars
4
forks
source link
6. Structures
#6
Open
subfish-zhou
opened
1 week ago
subfish-zhou
commented
1 week ago
[ ] 翻译
[ ] 校对
hehepig166
commented
1 week ago
我来认领这章