From 18f21fa324c162097ea2529a0adf2d1e15435f5a Mon Sep 17 00:00:00 2001 From: JadAbouHawili Date: Thu, 2 May 2024 17:38:30 +0000 Subject: [PATCH] Typo in documentation, hints.md --- doc/hints.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/hints.md b/doc/hints.md index 170031df..df5a1e9e 100644 --- a/doc/hints.md +++ b/doc/hints.md @@ -33,7 +33,7 @@ You can use `Branch` to place hints in dead ends or alternative proof strands. A proof inside a `Branch`-block is normally evaluated by lean, but it's discarded at the end -so that no progress has been made on proofing the goal. +so that no progress has been made on proving the goal. ``` Statement .... := by