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

7. Hierarchies #7

Open subfish-zhou opened 1 week ago

subfish-zhou commented 1 week ago
JosephLeeeeeee commented 1 week ago

翻译校对