issues
search
leanprover
/
leanprover.github.io
www
https://lean-lang.org/
15
stars
24
forks
source link
feat(documentation/index): add link to quick reference
#36
Closed
avigad
closed
9 years ago
soonhokong
commented
9 years ago
Merged by ff0b8597fc9e997558817d5ae56c5636deeead83.
Merged by ff0b8597fc9e997558817d5ae56c5636deeead83.