lean_sphinx.py: use leanprover-community web editor
lean_sphinx.py: use leanprover-community web editor

avigad/logic_and_proof,leanprover/logic_and_proof,leanprover/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,avigad/logic_and_proof