From 2e4cb053d45943757274ab1102c42bce98a0977b Mon Sep 17 00:00:00 2001 From: JOSHCLUNE Date: Fri, 30 Jan 2026 12:16:19 -0500 Subject: [PATCH] Update note about LeanPremise sever update --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index 64d6017..9d94dbc 100644 --- a/README.md +++ b/README.md @@ -4,8 +4,6 @@ LeanHammer is an automated reasoning tool for Lean that brings together multiple LeanHammer is in an early stage of its development and is therefore subject to breaking changes. There are currently versions of the hammer that are compatible with the stable versions of Lean from `v4.20.0` through `v4.27.0` (and the corresponding versions of Mathlib). -***Note:** Although the LeanHammer repository has been updated to support `v4.27.0`, the LeanPremise server which LeanHammer uses for premise selection is still being updated from `v4.26.0` to `v4.27.0`. During the intermediate period while this update is occurring, premise selection may be slower and less accurate than usual. This note will be removed once the server has been fully updated to `v4.27.0`.* - Pull requests and issues are welcome. ## Adding LeanHammer to Your Project