update README

Author: durant42040

README.md

@@ -16,10 +16,11 @@ LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying A
 8. [Working with Agents and Trainers](#working-with-agents-and-trainers)
 9. [Tracing and Dataset Generation](#tracing-and-dataset-generation)
 10. [LeanProgress Step-Prediction](#leanprogress-step-prediction)
-11. [Testing](#testing)
-12. [Troubleshooting & Tips](#troubleshooting--tips)
-13. [Contributing](#contributing)
-14. [License](#license)
+11. [Proving Theorems](#proving-theorems)
+12. [Testing](#testing)
+13. [Troubleshooting & Tips](#troubleshooting--tips)
+14. [Contributing](#contributing)
+15. [License](#license)
 
 ---