From ab05b6795c23d042348e04e67bf0a72daba2da70 Mon Sep 17 00:00:00 2001 From: JOSHCLUNE Date: Wed, 25 Feb 2026 14:30:13 -0500 Subject: [PATCH] Update README --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index 5e621a9..ea3db61 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.28.0` (and the corresponding versions of Mathlib). -***Note:** Although the LeanHammer repository has been updated to support `v4.28.0`, the LeanPremise server which LeanHammer uses for premise selection is still being updated from `v4.27.0` to `v4.28.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.28.0`.* - Pull requests and issues are welcome. ## Adding LeanHammer to Your Project