linkfix in documentation/index
linkfix in documentation/index
leanprover/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io