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
8. Groups and Rings
#8
Open
subfish-zhou
opened
1 week ago
subfish-zhou
commented
1 week ago
[ ] 翻译
[ ] 校对
EricTianC
commented
1 week ago
认领 👀