diff --git a/sci-mathematics/lean-mathlib/metadata.xml b/sci-mathematics/lean-mathlib/metadata.xml index 3005583c85..cb8636fef3 100644 --- a/sci-mathematics/lean-mathlib/metadata.xml +++ b/sci-mathematics/lean-mathlib/metadata.xml @@ -6,8 +6,6 @@ lssndrbarbieri@gmail.com Alessandro Barbieri - - https://github.com/leanprover-community/mathlib/issues leanprover-community/mathlib