GSoC2025: typos

Author: zjp-CN

GSoC2025.md

@@ -99,12 +99,12 @@ fresh verifications will be performed in this case.
 ## What's left to do
 
 Unfortunately, the incremental machanism is not fully applicapable to the verify-rust-std
-project untile the following problems are solved:
+project until the following problems are solved:
 * [Partitioned proof runners regularly receive shutdown or communication lost][#143]
   * This indicates that some runners are impossible to finish jobs on their own.
 * [Untrustworthy outputs of multi-threaded verifications][#4438]
-  * This indicates that `results.json` are unsable to be trusted to merge, especially when
-  a failure happens.
+  * This indicates that `results.json` files are unreliable to merge, especially when a
+  failure happens.
   * At present, the incremental verification workflow is quite incomplete for several
   other reasons. 
 * ESBMC or other verification tools are not supported.