readme

lengyijun · Nov 9, 2024 · 616a5d0 · 616a5d0
1 parent ad1624f
commit 616a5d0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -24,11 +24,11 @@ lake exe sim31
 
 [wiki](https://en.wikipedia.org/wiki/Busy_beaver) say 
 
->  A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed but not yet verified.
+>  A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed **but not yet verified**.
 
 Now it should be modified to 
 
->  A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed and verified in lean4.
+>  A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed and ** verified in lean4 **.
 
 ## Note