edit index

coq · Nov 2, 2024 · a2ed7a3 · a2ed7a3
1 parent 7edcdca
commit a2ed7a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/index.html b/src/index.html
@@ -33,7 +33,7 @@ <h2 id="about">About</h2>
     <h2 id="coq-tut">Coq Tutorials</h2>
     <ul>
       <li>
-        Tutorial, Chaining Tactics:
+        Tutorial, Chaining Tactics to Simplify and Factorize proofs
         <a href="Tutorial_Chaining_Tactics.html">interactive version</a>
         and
         <a href="Tutorial_Chaining_Tactics.v">source code</a>