issues
search
leanprover
/
leanprover.github.io
www
https://lean-lang.org/
15
stars
24
forks
source link
fix(documentation): remove unnecessary line in libraries and blank line
#35
Closed
avigad
closed
9 years ago
avigad
commented
9 years ago
(Just tinkering.)
(Just tinkering.)