From fb0b82aa5ba08643b96749121db1172e268c355f Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Thu, 18 Dec 2025 18:06:36 +0530 Subject: [PATCH 1/2] Removed ambiguity for problem 57. --- src/lean4/human_eval/problem_57.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lean4/human_eval/problem_57.lean b/src/lean4/human_eval/problem_57.lean index 1bf90b2..6da22f3 100644 --- a/src/lean4/human_eval/problem_57.lean +++ b/src/lean4/human_eval/problem_57.lean @@ -28,8 +28,8 @@ j < numbers.length - 1 ∧ (numbers[j+1]! < numbers[j]!); -- spec let spec (result: Bool) := - 1 < numbers.length → - result ↔ ¬non_ordered; + (1 < numbers.length) → + (result ↔ ¬non_ordered); -- program termination ∃ result, implementation numbers = result ∧ spec result From 8f1ca530dff9c37b48750512e6d21a1537605458 Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Thu, 18 Dec 2025 18:07:30 +0530 Subject: [PATCH 2/2] bumped the version. --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 249063b..0ce6896 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ packages = ["src/clever_bench"] [project] name = "clever-bench" -version = "1.2.0" +version = "1.3.0" authors = [ { name="Amitayush Thakur", email="amitayush@utexas.edu" }, ]