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