issues
search
leanprover
/
tutorial
Lean Tutorials
https://leanprover.github.io/tutorial
Apache License 2.0
43
stars
46
forks
source link
fix(07): typo
#168
Closed
spl
closed
8 years ago
soonhokong
commented
8 years ago
merged by 76f7967
merged by 76f7967