issues
search
leanprover
/
leanprover.github.io
www
https://lean-lang.org/
15
stars
24
forks
source link
Lean logo jumps to github page instead of the Lean homepage
#28
Closed
leodemoura
closed
9 years ago
leodemoura
commented
9 years ago