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
3. Logic
#3
Open
subfish-zhou
opened
1 week ago
subfish-zhou
commented
1 week ago
[x] 翻译
[ ] 校对