fix(README): typo (#605)
fix(README): typo (#605)

The name changed since `3.28.0` to use `/`



leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean