From 43dc9fd41505ba34dd359550c94706b4f4abefec Mon Sep 17 00:00:00 2001 From: mehbark Date: Sat, 1 Feb 2025 13:49:35 -0500 Subject: [PATCH] chore: remove meta results for README `proof_wanted` link (#1112) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 36d46eee4d..911f4a27d0 100644 --- a/README.md +++ b/README.md @@ -60,7 +60,7 @@ _nothing else_. This will remove the previous label and replace it by the requested status label. One of the easiest ways to contribute is to find a missing proof and complete it. The -[`proof_wanted`](https://github.com/search?q=repo%3Aleanprover-community%2Fbatteries+proof_wanted+language%3ALean&type=code&l=Lean) +[`proof_wanted`](https://github.com/search?q=repo%3Aleanprover-community%2Fbatteries+language%3ALean+%2F^proof_wanted%2F&type=code) declaration documents statements that have been identified as being useful, but that have not yet been proven.