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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
翻译流程说明
#13
subfish-zhou
opened
1 week ago
0
12. Integration and Measure Theory
#12
subfish-zhou
opened
1 week ago
0
11. Differential Calculus
#11
subfish-zhou
opened
1 week ago
0
10. Topology
#10
subfish-zhou
opened
1 week ago
0
9. Linear algebra
#9
subfish-zhou
opened
1 week ago
2
8. Groups and Rings
#8
subfish-zhou
opened
1 week ago
1
7. Hierarchies
#7
subfish-zhou
opened
1 week ago
1
6. Structures
#6
subfish-zhou
opened
1 week ago
1
5. Elementary Number Theory
#5
subfish-zhou
opened
1 week ago
0
4. Sets and Functions
#4
subfish-zhou
opened
1 week ago
0
3. Logic
#3
subfish-zhou
opened
1 week ago
0
2. Basics
#2
subfish-zhou
opened
1 week ago
0
1. Introduction
#1
subfish-zhou
opened
1 week ago
0